「あのぴにょぴよLv.20は好ましいということはない」ということは本当である
fact1: もし仮にこのぽなぽやLv.51は生じ易くないなら「このもにゅもやLv.16は舞い上がるかまたは御受け致すかまたは両方だ」ということは成り立つということはない fact2: 生じ易いモンスターは好ましい fact3: 仮にあのぴにょぴよLv.20は身軽くないとすると「あのぴにょぴよLv.20は好ましくない」ということは確かである fact4: 「「このもにゅもやLv.16は舞い上がるかもしくは御受け致すかまたは両方ともである」ということは嘘である」ということは真実であるとすると「あのぴにょぴよLv.20は身軽くない」ということは正しい fact5: このぽなぽやLv.51は生じ易くない
fact1 & fact5 -> int1: 「このもにゅもやLv.16は舞い上がるかまたはそれは御受け致すかあるいは両方ともである」ということは誤っている; int1 & fact4 -> int2: あのぴにょぴよLv.20は身軽いということはない; int2 & fact3 -> hypothesis;
fact1 & fact5 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact4 -> int2: ¬{B}{c}; int2 & fact3 -> hypothesis;
あのぴにょぴよLv.20は好ましい
fact6 -> int3: もしあのぴにょぴよLv.20が生じ易いとすればあのぴにょぴよLv.20は好ましい;
$facts$ = fact1: もし仮にこのぽなぽやLv.51は生じ易くないなら「このもにゅもやLv.16は舞い上がるかまたは御受け致すかまたは両方だ」ということは成り立つということはない fact2: 生じ易いモンスターは好ましい fact3: 仮にあのぴにょぴよLv.20は身軽くないとすると「あのぴにょぴよLv.20は好ましくない」ということは確かである fact4: 「「このもにゅもやLv.16は舞い上がるかもしくは御受け致すかまたは両方ともである」ということは嘘である」ということは真実であるとすると「あのぴにょぴよLv.20は身軽くない」ということは正しい fact5: このぽなぽやLv.51は生じ易くない ; $hypothesis$ = 「あのぴにょぴよLv.20は好ましいということはない」ということは本当である ; $proof$ = 
fact1 & fact5 -> int1: 「このもにゅもやLv.16は舞い上がるかまたはそれは御受け致すかあるいは両方ともである」ということは誤っている; int1 & fact4 -> int2: あのぴにょぴよLv.20は身軽いということはない; int2 & fact3 -> hypothesis; __PROVED__
fact1 & fact5 -> int1: ¬({AA}{b} v {AB}{b}); int1 & fact4 -> int2: ¬{B}{c}; int2 & fact3 -> hypothesis; __PROVED__