そのまにゅまゆLv.97は控除す
fact1: し難いモンスターは判決すらない fact2: すべてのモンスターは控除す fact3: 仮に何らかのモンスターは判決すかまたは得られ難いなら控除すらない
fact2 -> int1: すべてのモンスターは控除す; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あのぽちゃぽゆLv.9は控除す
fact4 -> int2: 仮にそのまにゅまゆLv.97がし難いならばそのまにゅまゆLv.97は判決すらない;
$facts$ = fact1: し難いモンスターは判決すらない fact2: すべてのモンスターは控除す fact3: 仮に何らかのモンスターは判決すかまたは得られ難いなら控除すらない ; $hypothesis$ = そのまにゅまゆLv.97は控除す ; $proof$ = 
fact2 -> int1: すべてのモンスターは控除す; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__