このぽちゅぽゆLv.80は長ーくない
fact1: もしも行儀良くないモンスターが類うということはないとしたら誤解し易くない fact2: 全てのモンスターは行儀良くなくてしかも類うない fact3: あらゆるモンスターは長ーい
fact3 -> int1: あらゆるモンスターは長ーい; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
すべてのモンスターは売り難い
fact4 -> int2: もしもそのぽゆぽちゅLv.58は行儀良くないし類うないとすれば誤解し易くない; fact5 -> int3: 「そのぽゆぽちゅLv.58は行儀良いということはなくて類うない」ということは確かである; int2 & int3 -> int4: そのぽゆぽちゅLv.58は誤解し易くない; int4 -> int5: あらゆるモンスターは誤解し易くない; int5 -> int6: このぽちゅぽゆLv.80は誤解し易くない;
$facts$ = fact1: もしも行儀良くないモンスターが類うということはないとしたら誤解し易くない fact2: 全てのモンスターは行儀良くなくてしかも類うない fact3: あらゆるモンスターは長ーい ; $hypothesis$ = このぽちゅぽゆLv.80は長ーくない ; $proof$ = 
fact3 -> int1: あらゆるモンスターは長ーい; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__