このまにゅまちゃLv.57は深し
fact1: 狡賢くないし柔いということはないというモンスターはない fact2: 全てのモンスターはずる fact3: あらゆるモンスターは深し fact4: 逞しいということはないモンスターは思い出深くてさらに深し fact5: あらゆるモンスターは掛け難い fact6: すべてのモンスターは鉢合わせする
fact3 -> int1: あらゆるモンスターは深し; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
全てのモンスターは思い出深い
fact8 -> int2: もし仮にこのまにゅまちゃLv.57が逞しくないなら思い出深くて深し; fact7 -> int3: 「そのみよみゆLv.74は狡賢くないし柔くない」ということは間違いだ;
$facts$ = fact1: 狡賢くないし柔いということはないというモンスターはない fact2: 全てのモンスターはずる fact3: あらゆるモンスターは深し fact4: 逞しいということはないモンスターは思い出深くてさらに深し fact5: あらゆるモンスターは掛け難い fact6: すべてのモンスターは鉢合わせする ; $hypothesis$ = このまにゅまちゃLv.57は深し ; $proof$ = 
fact3 -> int1: あらゆるモンスターは深し; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__