「このぷなぷえLv.34は叩きのめす」ということは本当である
fact1: 全てのモンスターは消退しない fact2: もしも何らかのモンスターは消退しないならば「それは射出すらない一方でしかつめらしい」ということは成り立つということはない fact3: すべてのモンスターは叩きのめす
fact3 -> int1: すべてのモンスターは叩きのめす; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
あらゆるモンスターは唸り続ける
fact4 -> int2: このぷなぷえLv.34は消退するということはない; fact5 -> int3: もしこのぷなぷえLv.34は消退するということはないとすると「このぷなぷえLv.34は射出すらないがそれはしかつめらしい」ということは偽である; int2 & int3 -> int4: 「このぷなぷえLv.34は射出すということはないがしかしそれはしかつめらしい」ということは事実と異なる;
$facts$ = fact1: 全てのモンスターは消退しない fact2: もしも何らかのモンスターは消退しないならば「それは射出すらない一方でしかつめらしい」ということは成り立つということはない fact3: すべてのモンスターは叩きのめす ; $hypothesis$ = 「このぷなぷえLv.34は叩きのめす」ということは本当である ; $proof$ = 
fact3 -> int1: すべてのモンスターは叩きのめす; int1 -> hypothesis; __PROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__