そのもちゃもちょLv.73は侵入し易い
fact1: もしそのもちゃもちょLv.73が使用し難いなら対応し切れる fact2: 「そのもちゃもちょLv.73は対応し切れる」ということは成り立つとしたらそれは侵入し易い fact3: あのもちょもちょLv.74が挙行するとするとこのぽなぽのLv.30は書き難い fact4: もしも「このぽなぽのLv.30は書き難くない」ということは間違っていればそのもちゃもちょLv.73は使用し難い fact5: 仮に「なにがしかのモンスターは吝いしかつ侵入し易い」ということは間違っているなら侵入し易くない fact6: もし仮にあのもちょもちょLv.74は吝いとしたら「このぽなぽのLv.30は書き難い」ということは本当だ fact7: あのもちょもちょLv.74は挙行するかもしくはそれは吝い
fact7 & fact3 & fact6 -> int1: このぽなぽのLv.30は書き難い; int1 & fact4 -> int2: そのもちゃもちょLv.73は使用し難い; int2 & fact1 -> int3: そのもちゃもちょLv.73は対応し切れる; int3 & fact2 -> hypothesis;
fact7 & fact3 & fact6 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{b}; int2 & fact1 -> int3: {E}{b}; int3 & fact2 -> hypothesis;
そのもちゃもちょLv.73は侵入し易くない
fact8 -> int4: もし「そのもちゃもちょLv.73は吝くて更に侵入し易い」ということは事実と異なるとしたらそのもちゃもちょLv.73は侵入し易くない;
$facts$ = fact1: もしそのもちゃもちょLv.73が使用し難いなら対応し切れる fact2: 「そのもちゃもちょLv.73は対応し切れる」ということは成り立つとしたらそれは侵入し易い fact3: あのもちょもちょLv.74が挙行するとするとこのぽなぽのLv.30は書き難い fact4: もしも「このぽなぽのLv.30は書き難くない」ということは間違っていればそのもちゃもちょLv.73は使用し難い fact5: 仮に「なにがしかのモンスターは吝いしかつ侵入し易い」ということは間違っているなら侵入し易くない fact6: もし仮にあのもちょもちょLv.74は吝いとしたら「このぽなぽのLv.30は書き難い」ということは本当だ fact7: あのもちょもちょLv.74は挙行するかもしくはそれは吝い ; $hypothesis$ = そのもちゃもちょLv.73は侵入し易い ; $proof$ = 
fact7 & fact3 & fact6 -> int1: このぽなぽのLv.30は書き難い; int1 & fact4 -> int2: そのもちゃもちょLv.73は使用し難い; int2 & fact1 -> int3: そのもちゃもちょLv.73は対応し切れる; int3 & fact2 -> hypothesis; __PROVED__
fact7 & fact3 & fact6 -> int1: {C}{c}; int1 & fact4 -> int2: {D}{b}; int2 & fact1 -> int3: {E}{b}; int3 & fact2 -> hypothesis; __PROVED__