「そのぽなぽちゃLv.41は禍々しいということはない」ということは成り立つ
fact1: 仮に「「「満遍無くてまたがたがたする」ということは嘘である」モンスターはいる」ということは確かであるならばそのぽなぽちゃLv.41はがたがたしない fact2: もし仮に何らかのモンスターは作り難くないならば「それは満遍無くてそれにがたがたする」ということは事実と異なる fact3: すべてのモンスターは禍々しい
fact3 -> int1: すべてのモンスターは禍々しい; int1 -> hypothesis;
fact3 -> int1: (x): {A}x; int1 -> hypothesis;
そのまちょまゆLv.34は禍々しい
fact4 -> int2: もし仮にそのものもにゅLv.52は作り難くないとしたら「「そのものもにゅLv.52は満遍無くてがたがたする」ということは成り立つ」ということは成り立たない;
$facts$ = fact1: 仮に「「「満遍無くてまたがたがたする」ということは嘘である」モンスターはいる」ということは確かであるならばそのぽなぽちゃLv.41はがたがたしない fact2: もし仮に何らかのモンスターは作り難くないならば「それは満遍無くてそれにがたがたする」ということは事実と異なる fact3: すべてのモンスターは禍々しい ; $hypothesis$ = 「そのぽなぽちゃLv.41は禍々しいということはない」ということは成り立つ ; $proof$ = 
fact3 -> int1: すべてのモンスターは禍々しい; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (x): {A}x; int1 -> hypothesis; __DISPROVED__