そのもにもなLv.77は無し
fact1: 仮になにがしかのモンスターが期し難いならばすっごーい fact2: すべてのモンスターは買い求める fact3: あらゆるモンスターは無し fact4: あのぷやぷにゃLv.35は無ししかつ有り難し
fact3 -> int1: あらゆるモンスターは無し; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
そのもにもなLv.77は無しない
fact5 -> int2: 「あのぷやぷにゃLv.35は無し」ということは真実だ; fact6 -> int3: もしあのぷやぷにゃLv.35が期し難いとしたらすっごーい;
$facts$ = fact1: 仮になにがしかのモンスターが期し難いならばすっごーい fact2: すべてのモンスターは買い求める fact3: あらゆるモンスターは無し fact4: あのぷやぷにゃLv.35は無ししかつ有り難し ; $hypothesis$ = そのもにもなLv.77は無し ; $proof$ = 
fact3 -> int1: あらゆるモンスターは無し; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__