面白い問題教えて

>>726
その場合

「１＝２ならば私は法王である」
「１＝２ならば私は法王でない」
「１≠２ならば私は法王でない」

の３つが真だけど下の２つはどうやって証明すんの？