あのぽゆぽにLv.2は座り易いということはない
fact1: もしも何らかのモンスターが用心深くないとしたらそれは座り易くないかまたはそれは若い fact2: あのぽなぽねLv.75は座り易い fact3: 「あらゆるモンスターは座り易い」ということは誤っていない fact4: もしも「なんらかのモンスターは引き渡すけど遅しということはない」ということは誤りだとすれば引き渡さない fact5: もしもあるモンスターが引き渡さないならばそれは用心深くない fact6: それは引き渡す一方で遅しないというモンスターはない
fact3 -> int1: 「あらゆるモンスターは座り易い」ということは誤っていない; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは慨嘆する
fact8 -> int2: もし「あのぽゆぽにLv.2は引き渡さない」ということは事実であるならあのぽゆぽにLv.2は用心深くない; fact10 -> int3: もしも「あのぽゆぽにLv.2は引き渡すけれど遅しない」ということは成り立たないとするとあのぽゆぽにLv.2は引き渡さない; fact9 -> int4: 「あのぽゆぽにLv.2は引き渡すがそれは遅しない」ということは成り立たない; int3 & int4 -> int5: あのぽゆぽにLv.2は引き渡すということはない; int2 & int5 -> int6: あのぽゆぽにLv.2は用心深くない; fact7 -> int7: もし仮にあのぽゆぽにLv.2が用心深くないならばそれは座り易くないかもしくは若い; int6 & int7 -> int8: あのぽゆぽにLv.2は座り易いということはないか若いかもしくは両方ともだ;
$facts$ = fact1: もしも何らかのモンスターが用心深くないとしたらそれは座り易くないかまたはそれは若い fact2: あのぽなぽねLv.75は座り易い fact3: 「あらゆるモンスターは座り易い」ということは誤っていない fact4: もしも「なんらかのモンスターは引き渡すけど遅しということはない」ということは誤りだとすれば引き渡さない fact5: もしもあるモンスターが引き渡さないならばそれは用心深くない fact6: それは引き渡す一方で遅しないというモンスターはない ; $hypothesis$ = あのぽゆぽにLv.2は座り易いということはない ; $proof$ = 
fact3 -> int1: 「あらゆるモンスターは座り易い」ということは誤っていない; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__