あのぷちゃぷいLv.5は掛かり難くない
fact1: すべてのモンスターは掛かり難くないししかもそれは捕まえ易いということはない fact2: あらゆるモンスターは捕まえ易くない fact3: すべてのモンスターは聞こえ難くない fact4: 「捕まえ易いモンスターは掛かり難い」ということは事実である
fact1 -> int1: このモンスターXは掛かり難くなくて捕まえ易いということはない; int1 -> int2: 「このモンスターXは掛かり難くない」ということは間違いでない; int2 -> int3: あらゆるモンスターは掛かり難くない; int3 -> hypothesis;
fact1 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> int2: ¬{A}{aa}; int2 -> int3: (x): ¬{A}x; int3 -> hypothesis;
あのぷちゃぷいLv.5は掛かり難い
fact5 -> int4: 仮にあのぷちゃぷいLv.5が捕まえ易いとしたらあのぷちゃぷいLv.5は掛かり難い;
$facts$ = fact1: すべてのモンスターは掛かり難くないししかもそれは捕まえ易いということはない fact2: あらゆるモンスターは捕まえ易くない fact3: すべてのモンスターは聞こえ難くない fact4: 「捕まえ易いモンスターは掛かり難い」ということは事実である ; $hypothesis$ = あのぷちゃぷいLv.5は掛かり難くない ; $proof$ = 
fact1 -> int1: このモンスターXは掛かり難くなくて捕まえ易いということはない; int1 -> int2: 「このモンスターXは掛かり難くない」ということは間違いでない; int2 -> int3: あらゆるモンスターは掛かり難くない; int3 -> hypothesis; __PROVED__
fact1 -> int1: (¬{A}{aa} & ¬{B}{aa}); int1 -> int2: ¬{A}{aa}; int2 -> int3: (x): ¬{A}x; int3 -> hypothesis; __PROVED__