そのみわみえLv.53は許し難し
fact1: そのぴちょぴちゃLv.55は重ねるかまたは歩き難いとしたら見付け易くない fact2: もしもそのぴちょぴちゃLv.55は見付け易くないとすれば「「そのぴにぴわLv.93は与え難くないけどそれは見付け易い」ということは成り立たない」ということは事実である fact3: 仮にそのぴちょぴちゃLv.55は歩き難いとすれば「そのぴちょぴちゃLv.55は許し難くないかそれは重ねるかまたはどちらもである」ということは誤りだ fact4: もしもそのぴちょぴちゃLv.55が復帰するならそれは重ねる fact5: もしも「「許し難くないかまたは重ねるか両方だ」ということは成り立たない」モンスターがいるとしたらそのみわみえLv.53は重ねない fact6: もし仮に「そのぴにぴわLv.93は与え難くないが見付け易い」ということは誤っているならそのみわみえLv.53は許し難くない fact7: そのぴちょぴちゃLv.55は復帰する
fact4 & fact7 -> int1: そのぴちょぴちゃLv.55は重ねる; int1 -> int2: そのぴちょぴちゃLv.55は重ねるかまたは歩き難いかあるいはどちらもだ; int2 & fact1 -> int3: 「そのぴちょぴちゃLv.55は見付け易くない」ということは本当である; int3 & fact2 -> int4: 「そのぴにぴわLv.93は与え難くないが見付け易い」ということは間違いである; int4 & fact6 -> hypothesis;
fact4 & fact7 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact1 -> int3: ¬{D}{a}; int3 & fact2 -> int4: ¬(¬{F}{b} & {D}{b}); int4 & fact6 -> hypothesis;
そのみわみえLv.53は見付け易いかもしくは手早い
$facts$ = fact1: そのぴちょぴちゃLv.55は重ねるかまたは歩き難いとしたら見付け易くない fact2: もしもそのぴちょぴちゃLv.55は見付け易くないとすれば「「そのぴにぴわLv.93は与え難くないけどそれは見付け易い」ということは成り立たない」ということは事実である fact3: 仮にそのぴちょぴちゃLv.55は歩き難いとすれば「そのぴちょぴちゃLv.55は許し難くないかそれは重ねるかまたはどちらもである」ということは誤りだ fact4: もしもそのぴちょぴちゃLv.55が復帰するならそれは重ねる fact5: もしも「「許し難くないかまたは重ねるか両方だ」ということは成り立たない」モンスターがいるとしたらそのみわみえLv.53は重ねない fact6: もし仮に「そのぴにぴわLv.93は与え難くないが見付け易い」ということは誤っているならそのみわみえLv.53は許し難くない fact7: そのぴちょぴちゃLv.55は復帰する ; $hypothesis$ = そのみわみえLv.53は許し難し ; $proof$ = 
fact4 & fact7 -> int1: そのぴちょぴちゃLv.55は重ねる; int1 -> int2: そのぴちょぴちゃLv.55は重ねるかまたは歩き難いかあるいはどちらもだ; int2 & fact1 -> int3: 「そのぴちょぴちゃLv.55は見付け易くない」ということは本当である; int3 & fact2 -> int4: 「そのぴにぴわLv.93は与え難くないが見付け易い」ということは間違いである; int4 & fact6 -> hypothesis; __DISPROVED__
fact4 & fact7 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact1 -> int3: ¬{D}{a}; int3 & fact2 -> int4: ¬(¬{F}{b} & {D}{b}); int4 & fact6 -> hypothesis; __DISPROVED__