「そのぷやぷにゃLv.80は捕らえ難くないし加えてそれはさっさとしない」ということは誤りである
fact1: 仮にあるモンスターは堪え難いなら「読み辛いしそれに着始めない」ということは成り立たない fact2: もし仮にそのぷやぷにゃLv.80は堪え難くないなら「そのぷやぷにゃLv.80は捕らえ難くなくてその上さっさとしない」ということは事実と異なる fact3: もしもそのぷやぷにゃLv.80が読み辛いかもしくはそれは着始めるかまたは両方ともであるならばそれは堪え難くない fact4: もしそのぷやぷにゃLv.80は堪え難くないとすれば「それは捕らえ難いけれどさっさとしない」ということは成り立たない fact5: 「そのぷやぷにゃLv.80は捕らえ難くないけどさっさとする」ということは成り立つということはない fact6: 「もしそのぷやぷにゃLv.80は堪え難いということはないとすれば「そのぷやぷにゃLv.80は捕らえ難くないけれどさっさとする」ということは間違いである」ということは事実だ fact7: もしもこのみにゃみゆLv.71が着始めるとするとこのまくまのLv.28は読み辛い fact8: そのぷやぷにゃLv.80は読み辛い
fact8 -> int1: そのぷやぷにゃLv.80は読み辛いかあるいはそれは着始めるかあるいは両方ともである; int1 & fact3 -> int2: そのぷやぷにゃLv.80は堪え難いということはない; int2 & fact2 -> hypothesis;
fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> hypothesis;
そのぷやぷにゃLv.80は捕らえ難くなくて更にさっさとしない
$facts$ = fact1: 仮にあるモンスターは堪え難いなら「読み辛いしそれに着始めない」ということは成り立たない fact2: もし仮にそのぷやぷにゃLv.80は堪え難くないなら「そのぷやぷにゃLv.80は捕らえ難くなくてその上さっさとしない」ということは事実と異なる fact3: もしもそのぷやぷにゃLv.80が読み辛いかもしくはそれは着始めるかまたは両方ともであるならばそれは堪え難くない fact4: もしそのぷやぷにゃLv.80は堪え難くないとすれば「それは捕らえ難いけれどさっさとしない」ということは成り立たない fact5: 「そのぷやぷにゃLv.80は捕らえ難くないけどさっさとする」ということは成り立つということはない fact6: 「もしそのぷやぷにゃLv.80は堪え難いということはないとすれば「そのぷやぷにゃLv.80は捕らえ難くないけれどさっさとする」ということは間違いである」ということは事実だ fact7: もしもこのみにゃみゆLv.71が着始めるとするとこのまくまのLv.28は読み辛い fact8: そのぷやぷにゃLv.80は読み辛い ; $hypothesis$ = 「そのぷやぷにゃLv.80は捕らえ難くないし加えてそれはさっさとしない」ということは誤りである ; $proof$ = 
fact8 -> int1: そのぷやぷにゃLv.80は読み辛いかあるいはそれは着始めるかあるいは両方ともである; int1 & fact3 -> int2: そのぷやぷにゃLv.80は堪え難いということはない; int2 & fact2 -> hypothesis; __PROVED__
fact8 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact2 -> hypothesis; __PROVED__