このまわまちょLv.54は重し
fact1: 「すべてのモンスターは見境無い」ということは成り立つ fact2: 全てのモンスターは事らしいしさらに漏れ無い fact3: 仮になんらかのモンスターが下ろし易くないとすれば見苦しくて重し fact4: 全てのモンスターは重し fact5: 「「このまわまちょLv.54はもじもじするということはなくてしかもそれは下ろし易くない」ということは事実と異なる」ということは真実だとしたらそれは重しということはない
fact4 -> int1: 全てのモンスターは重し; int1 -> hypothesis;
fact4 -> int1: (x): {A}x; int1 -> hypothesis;
あらゆるモンスターは見苦しい
fact6 -> int2: もしもこのまわまちょLv.54が下ろし易くないとしたらそれは見苦しくて更に重し; fact7 -> int3: 「このみちょみにゃLv.7は事らしいしおまけにそれは漏れ無い」ということは正しい; int3 -> int4: このみちょみにゃLv.7は事らしい; int4 -> int5: 全てのモンスターは事らしい; int5 -> int6: そのぴいぴちゃLv.46は事らしい;
$facts$ = fact1: 「すべてのモンスターは見境無い」ということは成り立つ fact2: 全てのモンスターは事らしいしさらに漏れ無い fact3: 仮になんらかのモンスターが下ろし易くないとすれば見苦しくて重し fact4: 全てのモンスターは重し fact5: 「「このまわまちょLv.54はもじもじするということはなくてしかもそれは下ろし易くない」ということは事実と異なる」ということは真実だとしたらそれは重しということはない ; $hypothesis$ = このまわまちょLv.54は重し ; $proof$ = 
fact4 -> int1: 全てのモンスターは重し; int1 -> hypothesis; __PROVED__
fact4 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__