あのぽいぽくLv.51は取り組み易くない
fact1: もしもこのぴいぴゆLv.39が可笑しないとすればそのみのみよLv.9は御探しするしまた左右され易い fact2: もし「そのみのみよLv.9は左右され易いかもしくはそれは京都らしいか両方ともだ」ということは確かだとすればあのぽいぽくLv.51は取り組み易くない fact3: このみわみえLv.38は京都らしい fact4: 仮に「なんらかのモンスターは当たり難くないかまたは灰色っぽい」ということは成り立たないとすれば左右され易くない fact5: 「このみわみえLv.38は当たり難い」ということは真実である fact6: もし「あるモンスターは当たり難いかまたは灰色っぽいかあるいはどちらもだ」ということは成り立たないとしたら左右され易くない fact7: もし「このみわみえLv.38は当たり難いか灰色っぽいかもしくは両方ともである」ということは誤っているとしたらこのみわみえLv.38は左右され易いということはない fact8: もし仮にこのみわみえLv.38が左右され易いということはない一方で京都らしいとすればあのぽいぽくLv.51は取り組み易い fact9: 「このみわみえLv.38は当たり難くないか灰色っぽい」ということは成り立つということはない
fact4 -> int1: 仮に「このみわみえLv.38は当たり難くないかあるいは灰色っぽいかもしくは両方ともだ」ということは間違っているとしたらこのみわみえLv.38は左右され易くない; int1 & fact9 -> int2: このみわみえLv.38は左右され易いということはない; int2 & fact3 -> int3: このみわみえLv.38は左右され易くない一方で京都らしい; int3 & fact8 -> hypothesis;
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact9 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: (¬{B}{aa} & {A}{aa}); int3 & fact8 -> hypothesis;
あのぽいぽくLv.51は取り組み易くない
$facts$ = fact1: もしもこのぴいぴゆLv.39が可笑しないとすればそのみのみよLv.9は御探しするしまた左右され易い fact2: もし「そのみのみよLv.9は左右され易いかもしくはそれは京都らしいか両方ともだ」ということは確かだとすればあのぽいぽくLv.51は取り組み易くない fact3: このみわみえLv.38は京都らしい fact4: 仮に「なんらかのモンスターは当たり難くないかまたは灰色っぽい」ということは成り立たないとすれば左右され易くない fact5: 「このみわみえLv.38は当たり難い」ということは真実である fact6: もし「あるモンスターは当たり難いかまたは灰色っぽいかあるいはどちらもだ」ということは成り立たないとしたら左右され易くない fact7: もし「このみわみえLv.38は当たり難いか灰色っぽいかもしくは両方ともである」ということは誤っているとしたらこのみわみえLv.38は左右され易いということはない fact8: もし仮にこのみわみえLv.38が左右され易いということはない一方で京都らしいとすればあのぽいぽくLv.51は取り組み易い fact9: 「このみわみえLv.38は当たり難くないか灰色っぽい」ということは成り立つということはない ; $hypothesis$ = あのぽいぽくLv.51は取り組み易くない ; $proof$ = 
fact4 -> int1: 仮に「このみわみえLv.38は当たり難くないかあるいは灰色っぽいかもしくは両方ともだ」ということは間違っているとしたらこのみわみえLv.38は左右され易くない; int1 & fact9 -> int2: このみわみえLv.38は左右され易いということはない; int2 & fact3 -> int3: このみわみえLv.38は左右され易くない一方で京都らしい; int3 & fact8 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 & fact9 -> int2: ¬{B}{aa}; int2 & fact3 -> int3: (¬{B}{aa} & {A}{aa}); int3 & fact8 -> hypothesis; __DISPROVED__