「あのぷにゃぷなLv.60は押さえ難いけれど引き出し易くない」ということは嘘だ
fact1: そのぷやぷちょLv.90は不味くない fact2: もしもそのぷやぷちょLv.90はし易いけれど発生し続けるということはないとすると手痛くない fact3: もし仮にそのぷやぷちょLv.90は手痛くないとすれば「あのぷにゃぷなLv.60は押さえ難いがしかし引き出し易いということはない」ということは偽である fact4: もしも「なんらかのモンスターは手痛くなくて不味くない」ということは間違いであるとすれば発生し続けない fact5: もしそのぷやぷちょLv.90が飽きっぽいということはないならそのぷやぷちょLv.90は手痛いし浅黒い fact6: 「あるモンスターは手痛い」ということは成り立つとすると「「それは不味くてさらに生え易くない」ということは成り立つ」ということは間違いである fact7: 不味いということはないモンスターは押さえ難いけど引き出し易くない fact8: もしもそのぷやぷちょLv.90が不味いということはないとしたらそのぷやぷちょLv.90はし易いけれど発生し続けるということはない
fact8 & fact1 -> int1: そのぷやぷちょLv.90はし易いけれどそれは発生し続けない; int1 & fact2 -> int2: そのぷやぷちょLv.90は手痛くない; int2 & fact3 -> hypothesis;
fact8 & fact1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: ¬{B}{a}; int2 & fact3 -> hypothesis;
あのぷにゃぷなLv.60は押さえ難い一方でそれは引き出し易くない
fact10 -> int3: もしも「あのぷにゃぷなLv.60は不味くない」ということは確かであるとしたらあのぷにゃぷなLv.60は押さえ難いけれど引き出し易くない; fact11 -> int4: 仮にそのぷやぷちょLv.90は手痛いとすれば「そのぷやぷちょLv.90は不味いけど生え易いということはない」ということは誤っている;
$facts$ = fact1: そのぷやぷちょLv.90は不味くない fact2: もしもそのぷやぷちょLv.90はし易いけれど発生し続けるということはないとすると手痛くない fact3: もし仮にそのぷやぷちょLv.90は手痛くないとすれば「あのぷにゃぷなLv.60は押さえ難いがしかし引き出し易いということはない」ということは偽である fact4: もしも「なんらかのモンスターは手痛くなくて不味くない」ということは間違いであるとすれば発生し続けない fact5: もしそのぷやぷちょLv.90が飽きっぽいということはないならそのぷやぷちょLv.90は手痛いし浅黒い fact6: 「あるモンスターは手痛い」ということは成り立つとすると「「それは不味くてさらに生え易くない」ということは成り立つ」ということは間違いである fact7: 不味いということはないモンスターは押さえ難いけど引き出し易くない fact8: もしもそのぷやぷちょLv.90が不味いということはないとしたらそのぷやぷちょLv.90はし易いけれど発生し続けるということはない ; $hypothesis$ = 「あのぷにゃぷなLv.60は押さえ難いけれど引き出し易くない」ということは嘘だ ; $proof$ = 
fact8 & fact1 -> int1: そのぷやぷちょLv.90はし易いけれどそれは発生し続けない; int1 & fact2 -> int2: そのぷやぷちょLv.90は手痛くない; int2 & fact3 -> hypothesis; __PROVED__
fact8 & fact1 -> int1: ({AA}{a} & ¬{AB}{a}); int1 & fact2 -> int2: ¬{B}{a}; int2 & fact3 -> hypothesis; __PROVED__