あのぷねぷねLv.73は見付け易くない
fact1: 全てのモンスターは起こし得るということはない fact2: 全てのモンスターは見付け易くない fact3: 「とあるモンスターは首尾良いけれど立たない」ということは成り立たないとしたらそれは首尾良くない fact4: もしあるモンスターは見付け易いとすると「それは首尾良いけれど立たない」ということは間違いである
fact2 -> int1: 全てのモンスターは見付け易くない; int1 -> hypothesis;
fact2 -> int1: (x): ¬{A}x; int1 -> hypothesis;
あらゆるモンスターは首尾良いということはない
fact6 -> int2: 仮にそのぷにぷねLv.68は見付け易いなら「そのぷにぷねLv.68は首尾良いけど立たない」ということは誤りだ; fact5 -> int3: もしも「あのぷねぷねLv.73は首尾良いがしかし立たない」ということは事実と異なるならそれは首尾良くない;
$facts$ = fact1: 全てのモンスターは起こし得るということはない fact2: 全てのモンスターは見付け易くない fact3: 「とあるモンスターは首尾良いけれど立たない」ということは成り立たないとしたらそれは首尾良くない fact4: もしあるモンスターは見付け易いとすると「それは首尾良いけれど立たない」ということは間違いである ; $hypothesis$ = あのぷねぷねLv.73は見付け易くない ; $proof$ = 
fact2 -> int1: 全てのモンスターは見付け易くない; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): ¬{A}x; int1 -> hypothesis; __PROVED__