このもやもよLv.44は味見するということはない
fact1: このもやもよLv.44は飛ぶ fact2: もしあのもえもちゃLv.22は借りれないとすれば「あのぴえぴちゃLv.79は許し難くておまけに飛ぶ」ということは成り立たない fact3: 「許し難くないモンスターは飛ぶ」ということは成り立つ fact4: もしも「なにがしかのモンスターは遅行するがしかし味見しない」ということは誤りならば味見する fact5: もし仮になんらかのモンスターは許し難くないなら「それは遅行するがしかし味見しない」ということは誤っている fact6: 「あのぷなぷゆLv.56は許し難くない」ということは成り立つ fact7: あのぷなぷゆLv.56が遅行するならあのもえもちゃLv.22は借りれる fact8: このもやもよLv.44は許し難し fact9: あのもえもちゃLv.22が借りれればこのもやもよLv.44は味見する
fact3 -> int1: あのぷなぷゆLv.56が許し難くないなら飛ぶ; int1 & fact6 -> int2: あのぷなぷゆLv.56は飛ぶ;
fact3 -> int1: ¬{B}{aa} -> {C}{aa}; int1 & fact6 -> int2: {C}{aa};
このもやもよLv.44は味見するということはない
$facts$ = fact1: このもやもよLv.44は飛ぶ fact2: もしあのもえもちゃLv.22は借りれないとすれば「あのぴえぴちゃLv.79は許し難くておまけに飛ぶ」ということは成り立たない fact3: 「許し難くないモンスターは飛ぶ」ということは成り立つ fact4: もしも「なにがしかのモンスターは遅行するがしかし味見しない」ということは誤りならば味見する fact5: もし仮になんらかのモンスターは許し難くないなら「それは遅行するがしかし味見しない」ということは誤っている fact6: 「あのぷなぷゆLv.56は許し難くない」ということは成り立つ fact7: あのぷなぷゆLv.56が遅行するならあのもえもちゃLv.22は借りれる fact8: このもやもよLv.44は許し難し fact9: あのもえもちゃLv.22が借りれればこのもやもよLv.44は味見する ; $hypothesis$ = このもやもよLv.44は味見するということはない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__