カーミット
ここで、「全てのカエルが緑色」であり、「カーミットがカエル」であり、「カーミットが緑色でない」という可能世界を想像することはできない。従って、この結論はこれらの前提の論理的帰結であると言える。