「お前が魚ならば、1≠2か?」などと質問する
相手は「そんなわけないだろ」と否定する
(否定してくれなかったら質問の内容か相手を変えよう!)
「ところで、命題論理ではA⇒Bと¬A⇒¬Bの少なくとも一方は必ず真であるので
 ¬(A⇒B)⇒(¬A⇒¬B)は常に正しい。よって
 お前は「お前が魚⇒1≠2」を否定したから
 「お前が魚じゃない⇒1=2」は正しい
 お前は(たぶん)魚じゃないから、1=2は正しい」と言う