何らかのモンスターは形成され易いかあるいは尊重するかもしくは両方である
fact1: このぷわぷやLv.35が形成され易いならばそれは尊重しない fact2: そのぴえぴよLv.63が奥深いとしたら尊重する fact3: 何らかのモンスターは尊重するということはないとしたら「そのぴえぴよLv.63は尊重しない」ということは成り立つ fact4: 奥深くないモンスターは高める
「無いかもしくは高める」モンスターはいる
fact7 -> int1: そのぴえぴよLv.63が奥深いということはないならそのぴえぴよLv.63は高める;
$facts$ = fact1: このぷわぷやLv.35が形成され易いならばそれは尊重しない fact2: そのぴえぴよLv.63が奥深いとしたら尊重する fact3: 何らかのモンスターは尊重するということはないとしたら「そのぴえぴよLv.63は尊重しない」ということは成り立つ fact4: 奥深くないモンスターは高める ; $hypothesis$ = 何らかのモンスターは形成され易いかあるいは尊重するかもしくは両方である ; $proof$ = 
__UNKNOWN__
__UNKNOWN__