このまわまわLv.47は包み込めないし加えて持ち易くない
fact1: 仮にあるモンスターは詳しいとしたら「包み込めないしその上持ち易くない」ということは本当である fact2: もし仮に「何らかのモンスターは仕方無しということはない」ということは成り立つとすると「それは心強いということはない一方で捨て難い」ということは成り立たない fact3: 「このまわまわLv.47は包み込めないが持ち易い」ということは間違いだ fact4: もしもなんらかのモンスターは詳しくないとすると「それは包み込めなくて持ち易くない」ということは偽だ fact5: このまわまわLv.47は詳しくない fact6: あのぷちゃぷちゃLv.33は刺々しいしまた保ち易い
fact4 -> int1: 仮に「このまわまわLv.47は詳しくない」ということは事実なら「このまわまわLv.47は包み込めないし更に持ち易くない」ということは成り立たない; int1 & fact5 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> hypothesis;
このまわまわLv.47は包み込めないし加えて持ち易くない
fact8 -> int2: もし仮にこのまわまわLv.47が詳しいならばこのまわまわLv.47は包み込めなくておまけに持ち易いということはない; fact7 -> int3: 「あのぷちゃぷちゃLv.33は刺々しい」ということは確かだ; int3 -> int4: 「刺々しい」モンスターはいる;
$facts$ = fact1: 仮にあるモンスターは詳しいとしたら「包み込めないしその上持ち易くない」ということは本当である fact2: もし仮に「何らかのモンスターは仕方無しということはない」ということは成り立つとすると「それは心強いということはない一方で捨て難い」ということは成り立たない fact3: 「このまわまわLv.47は包み込めないが持ち易い」ということは間違いだ fact4: もしもなんらかのモンスターは詳しくないとすると「それは包み込めなくて持ち易くない」ということは偽だ fact5: このまわまわLv.47は詳しくない fact6: あのぷちゃぷちゃLv.33は刺々しいしまた保ち易い ; $hypothesis$ = このまわまわLv.47は包み込めないし加えて持ち易くない ; $proof$ = 
fact4 -> int1: 仮に「このまわまわLv.47は詳しくない」ということは事実なら「このまわまわLv.47は包み込めないし更に持ち易くない」ということは成り立たない; int1 & fact5 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact5 -> hypothesis; __DISPROVED__