あのもなもえLv.38は当て擦らない
fact1: 「あのもちゃもにゃLv.98はしとするということはない」ということは成り立つ fact2: もしも何らかのモンスターはしとしないなら「それは止み難くないかまたはこそばゆくないかもしくはどちらもである」ということは成り立たない fact3: 「あのもちゃもにゃLv.98は止み難くないかまたはそれはこそばゆくないかまたは両方ともである」ということは成り立たないならばあのもなもえLv.38は当て擦らない fact4: あのもなもえLv.38はしとしない fact5: あのもちゃもにゃLv.98は止み難い fact6: あのもなもえLv.38は痛々しくない
fact2 -> int1: もしもあのもちゃもにゃLv.98はしとしないとすれば「あのもちゃもにゃLv.98は止み難いということはないかあるいはこそばゆくないかあるいは両方ともである」ということは成り立つということはない; int1 & fact1 -> int2: 「あのもちゃもにゃLv.98は止み難くないかもしくはそれはこそばゆくないかもしくは両方ともである」ということは成り立たない; int2 & fact3 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact3 -> hypothesis;
$facts$ = fact1: 「あのもちゃもにゃLv.98はしとするということはない」ということは成り立つ fact2: もしも何らかのモンスターはしとしないなら「それは止み難くないかまたはこそばゆくないかもしくはどちらもである」ということは成り立たない fact3: 「あのもちゃもにゃLv.98は止み難くないかまたはそれはこそばゆくないかまたは両方ともである」ということは成り立たないならばあのもなもえLv.38は当て擦らない fact4: あのもなもえLv.38はしとしない fact5: あのもちゃもにゃLv.98は止み難い fact6: あのもなもえLv.38は痛々しくない ; $hypothesis$ = あのもなもえLv.38は当て擦らない ; $proof$ = 
fact2 -> int1: もしもあのもちゃもにゃLv.98はしとしないとすれば「あのもちゃもにゃLv.98は止み難いということはないかあるいはこそばゆくないかあるいは両方ともである」ということは成り立つということはない; int1 & fact1 -> int2: 「あのもちゃもにゃLv.98は止み難くないかもしくはそれはこそばゆくないかもしくは両方ともである」ということは成り立たない; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} v ¬{AB}{aa}); int1 & fact1 -> int2: ¬(¬{AA}{aa} v ¬{AB}{aa}); int2 & fact3 -> hypothesis; __PROVED__