The conclusion is a logical consequence of the premises because we can't imagine a possible world where (a) all frogs are green; (b) Kermit is a frog; and (c) Kermit is not green.
Το συμπέρασμα αποτελεί λογική συνέπεια των προτάσεων, διότι δεν υπάρχει κανένας πιθανός κόσμος όπου (α) όλοι οι βάτραχοι να είναι πράσινοι, (β) ο Κέρμιτ να είναι βάτραχος και (γ) ο Κέρμιτ να μην είναι πράσινος.