あのぷわぷちょLv.17は住み易いしおまけに抜き難い
fact1: つれないということはないモンスターは住み易くて惨たらしい fact2: もしあるモンスターはつれないということはないなら「それは住み易くてまたそれは抜き難い」ということは誤りだ fact3: あのぷわぷちょLv.17は抜き難い
「あのぷわぷちょLv.17は住み易くてまた抜き難い」ということは確かでない
fact4 -> int1: あのぷわぷちょLv.17はつれなくないとしたら「住み易くて抜き難い」ということは嘘だ;
$facts$ = fact1: つれないということはないモンスターは住み易くて惨たらしい fact2: もしあるモンスターはつれないということはないなら「それは住み易くてまたそれは抜き難い」ということは誤りだ fact3: あのぷわぷちょLv.17は抜き難い ; $hypothesis$ = あのぷわぷちょLv.17は住み易いしおまけに抜き難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__