そのまちゃまわLv.69は意義深くない
fact1: このぷくぷにゃLv.91は受け易い fact2: 仮にとあるモンスターは封じ込むとしたら「受け易くないかまたは高くないかまたは両方だ」ということは偽である fact3: もしもそのまちゃまわLv.69が封じ込まないとしたらそれは意義深くない fact4: このぷくぷにゃLv.91は高い fact5: 仮にこのぷくぷにゃLv.91が受け易くておまけに高いならそのまちゃまわLv.69は封じ込まない fact6: もしも「このぷくぷにゃLv.91は受け易くないかあるいはそれは高くない」ということは嘘ならあのぴちょぴくLv.36は意義深いということはない fact7: このぷくぷにゃLv.91が意義深いならばそのまちゃまわLv.69は意義深い
fact1 & fact4 -> int1: このぷくぷにゃLv.91は受け易いモンスターであり高い; int1 & fact5 -> int2: そのまちゃまわLv.69は封じ込むということはない; int2 & fact3 -> hypothesis;
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis;
あのぴちょぴくLv.36は意義深くない
fact8 -> int3: このぷくぷにゃLv.91は封じ込むなら「受け易くないかまたは高くないか両方である」ということは間違いだ;
$facts$ = fact1: このぷくぷにゃLv.91は受け易い fact2: 仮にとあるモンスターは封じ込むとしたら「受け易くないかまたは高くないかまたは両方だ」ということは偽である fact3: もしもそのまちゃまわLv.69が封じ込まないとしたらそれは意義深くない fact4: このぷくぷにゃLv.91は高い fact5: 仮にこのぷくぷにゃLv.91が受け易くておまけに高いならそのまちゃまわLv.69は封じ込まない fact6: もしも「このぷくぷにゃLv.91は受け易くないかあるいはそれは高くない」ということは嘘ならあのぴちょぴくLv.36は意義深いということはない fact7: このぷくぷにゃLv.91が意義深いならばそのまちゃまわLv.69は意義深い ; $hypothesis$ = そのまちゃまわLv.69は意義深くない ; $proof$ = 
fact1 & fact4 -> int1: このぷくぷにゃLv.91は受け易いモンスターであり高い; int1 & fact5 -> int2: そのまちゃまわLv.69は封じ込むということはない; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact4 -> int1: ({A}{a} & {B}{a}); int1 & fact5 -> int2: ¬{C}{b}; int2 & fact3 -> hypothesis; __PROVED__