「あのぷえぷちょLv.31は履き為さらないしそれにそれは印刷しない」ということは成り立たない
fact1: あのぽゆぽにょLv.75は入り易くない fact2: 「あのぷえぷちょLv.31は履き為さるけど印刷するということはない」ということは誤っている fact3: 「あるモンスターは犯し易い」ということは真実であるとするとそれは履き為さるかもしくは印刷しないかあるいは両方である fact4: 仮にあのぽゆぽにょLv.75が犯し易いならあのぷえぷちょLv.31は入り易い fact5: 入り易いモンスターは履き為さらないしかつ印刷しない fact6: あのぷえぷちょLv.31は履き為さらなくてしかも入り易くない
void -> assump1: 以下のように仮定する。あのぷえぷちょLv.31は履き為さらないし加えてそれは印刷しない; assump1 -> int1: 何らかのモンスターは履き為さらないしさらに印刷しない;
void -> assump1: (¬{A}{aa} & ¬{B}{aa}); assump1 -> int1: (Ex): (¬{A}x & ¬{B}x);
以下のように仮定する。あのぷえぷちょLv.31は履き為さらないし加えてそれは印刷しない
fact7 -> int2: もし仮にあのぷえぷちょLv.31が入り易いならあのぷえぷちょLv.31は履き為さらなくてまた印刷しない;
$facts$ = fact1: あのぽゆぽにょLv.75は入り易くない fact2: 「あのぷえぷちょLv.31は履き為さるけど印刷するということはない」ということは誤っている fact3: 「あるモンスターは犯し易い」ということは真実であるとするとそれは履き為さるかもしくは印刷しないかあるいは両方である fact4: 仮にあのぽゆぽにょLv.75が犯し易いならあのぷえぷちょLv.31は入り易い fact5: 入り易いモンスターは履き為さらないしかつ印刷しない fact6: あのぷえぷちょLv.31は履き為さらなくてしかも入り易くない ; $hypothesis$ = 「あのぷえぷちょLv.31は履き為さらないしそれにそれは印刷しない」ということは成り立たない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__