あのまちゅまえLv.57は俗っぽいかまたは鞣さないかもしくは両方である
fact1: 仮にあるモンスターが生え易いということはないがそれが作り難いとしたら反応し易くない fact2: このまえまくLv.5は反応し易くない fact3: 「あのまちゅまえLv.57は俗っぽいかそれは鞣すかあるいは両方である」ということは本当である fact4: あるモンスターは生え易くておまけに作り難いならばそれは反応し易くない fact5: あのまちゅまえLv.57は生え易くないけれどそれは作り難い fact6: 「もし仮にあのまちゅまえLv.57が反応し易いということはないとするとあのまちゅまえLv.57は俗っぽいかもしくは鞣さない」ということは本当だ
fact1 -> int1: もしもあのまちゅまえLv.57が生え易くないけど作り難いとすればあのまちゅまえLv.57は反応し易くない; int1 & fact5 -> int2: 「あのまちゅまえLv.57は反応し易くない」ということは正しい; int2 & fact6 -> hypothesis;
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact5 -> int2: ¬{B}{aa}; int2 & fact6 -> hypothesis;
$facts$ = fact1: 仮にあるモンスターが生え易いということはないがそれが作り難いとしたら反応し易くない fact2: このまえまくLv.5は反応し易くない fact3: 「あのまちゅまえLv.57は俗っぽいかそれは鞣すかあるいは両方である」ということは本当である fact4: あるモンスターは生え易くておまけに作り難いならばそれは反応し易くない fact5: あのまちゅまえLv.57は生え易くないけれどそれは作り難い fact6: 「もし仮にあのまちゅまえLv.57が反応し易いということはないとするとあのまちゅまえLv.57は俗っぽいかもしくは鞣さない」ということは本当だ ; $hypothesis$ = あのまちゅまえLv.57は俗っぽいかまたは鞣さないかもしくは両方である ; $proof$ = 
fact1 -> int1: もしもあのまちゅまえLv.57が生え易くないけど作り難いとすればあのまちゅまえLv.57は反応し易くない; int1 & fact5 -> int2: 「あのまちゅまえLv.57は反応し易くない」ということは正しい; int2 & fact6 -> hypothesis; __PROVED__
fact1 -> int1: (¬{AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; int1 & fact5 -> int2: ¬{B}{aa}; int2 & fact6 -> hypothesis; __PROVED__