あのぴえぴゆLv.13は抜け易い
fact1: もしあのぴえぴゆLv.13が含意するがしかし惨いということはないとすれば出し易い fact2: もし仮にあのまやまねLv.76が欲深くなくて加えて出し易くないとしたらあのまやまねLv.76は感銘する fact3: 傷付け易くないモンスターはいる fact4: なにがしかのモンスターは傷付け易い fact5: もし仮にあのぴえぴゆLv.13が含意しなくてさらに惨くないとしたら出し易い fact6: もしあるモンスターが傷付け易くないならあのぴえぴゆLv.13は含意しなくてまた惨くない fact7: あのぴえぴゆLv.13は含意するということはない fact8: もし仮に「傷付け易くない」モンスターがいるとすればあのぴえぴゆLv.13は含意しない
fact3 & fact6 -> int1: あのぴえぴゆLv.13は含意しないしかつ惨くない; int1 & fact5 -> int2: あのぴえぴゆLv.13は出し易い;
fact3 & fact6 -> int1: (¬{B}{a} & ¬{C}{a}); int1 & fact5 -> int2: {D}{a};
$facts$ = fact1: もしあのぴえぴゆLv.13が含意するがしかし惨いということはないとすれば出し易い fact2: もし仮にあのまやまねLv.76が欲深くなくて加えて出し易くないとしたらあのまやまねLv.76は感銘する fact3: 傷付け易くないモンスターはいる fact4: なにがしかのモンスターは傷付け易い fact5: もし仮にあのぴえぴゆLv.13が含意しなくてさらに惨くないとしたら出し易い fact6: もしあるモンスターが傷付け易くないならあのぴえぴゆLv.13は含意しなくてまた惨くない fact7: あのぴえぴゆLv.13は含意するということはない fact8: もし仮に「傷付け易くない」モンスターがいるとすればあのぴえぴゆLv.13は含意しない ; $hypothesis$ = あのぴえぴゆLv.13は抜け易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__