「「早くないしまた痒くない」モンスターはいる」ということは誤りである
fact1: 「あのぴいぴなLv.24は鍔する」ということは事実だ fact2: もし仮に「あのぷにゅぷよLv.37は錆無い」ということは事実であるとしたらか弱くなくてかつ心細いということはない fact3: もしもあるモンスターが鍔すれば早くなくておまけにそれは痒くない
fact3 -> int1: もしもあのぴいぴなLv.24が鍔すればあのぴいぴなLv.24は早くないしさらに痒くない; int1 & fact1 -> int2: あのぴいぴなLv.24は早くないしおまけにそれは痒くない; int2 -> hypothesis;
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis;
$facts$ = fact1: 「あのぴいぴなLv.24は鍔する」ということは事実だ fact2: もし仮に「あのぷにゅぷよLv.37は錆無い」ということは事実であるとしたらか弱くなくてかつ心細いということはない fact3: もしもあるモンスターが鍔すれば早くなくておまけにそれは痒くない ; $hypothesis$ = 「「早くないしまた痒くない」モンスターはいる」ということは誤りである ; $proof$ = 
fact3 -> int1: もしもあのぴいぴなLv.24が鍔すればあのぴいぴなLv.24は早くないしさらに痒くない; int1 & fact1 -> int2: あのぴいぴなLv.24は早くないしおまけにそれは痒くない; int2 -> hypothesis; __DISPROVED__
fact3 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> int2: (¬{AA}{aa} & ¬{AB}{aa}); int2 -> hypothesis; __DISPROVED__