「「仮に厳ついとすると正しくないし書き連ねない」モンスターはいる」ということは誤っている
fact1: もしもあるモンスターが申し込むとすればそれは取穴しない fact2: 厳ついモンスターは正しくないしおまけに書き連ねない
fact2 -> int1: 「もしもこのぽにゃぽにゃLv.76が厳ついとするとこのぽにゃぽにゃLv.76は正しくないし更に書き連ねない」ということは正しい; int1 -> hypothesis;
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: もしもあるモンスターが申し込むとすればそれは取穴しない fact2: 厳ついモンスターは正しくないしおまけに書き連ねない ; $hypothesis$ = 「「仮に厳ついとすると正しくないし書き連ねない」モンスターはいる」ということは誤っている ; $proof$ = 
fact2 -> int1: 「もしもこのぽにゃぽにゃLv.76が厳ついとするとこのぽにゃぽにゃLv.76は正しくないし更に書き連ねない」ということは正しい; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); int1 -> hypothesis; __DISPROVED__