このまくまにゃLv.31は狡賢くない
fact1: もしあのぷちょぷいLv.61が後戻りするとしたらあのぷちょぷいLv.61は下ろし易い fact2: 「そのぷなぷねLv.71は冷たくないしかつ遣り辛くない」ということは正しい fact3: もしも何らかのモンスターが下ろし易いとすればそれは使用し易い fact4: もしあのぷちょぷいLv.61が下ろし易くないとするとこのまくまにゃLv.31は狡賢くて後戻りする fact5: あのぷちょぷいLv.61は気弱い fact6: 遣り辛いということはないモンスターは下ろし易くて泳ぎ疲れる fact7: もし仮にあのぷちょぷいLv.61が下ろし易いしその上気弱いとしたらこのまくまにゃLv.31は狡賢くない fact8: そのぷなぷねLv.71が下ろし易いし更に用い易いならあのぷちょぷいLv.61は下ろし易くない
あのぴえぴわLv.15は使用し易くて更にそれは気弱い
fact9 -> int1: もし仮にあのぴえぴわLv.15が下ろし易いならば使用し易い;
$facts$ = fact1: もしあのぷちょぷいLv.61が後戻りするとしたらあのぷちょぷいLv.61は下ろし易い fact2: 「そのぷなぷねLv.71は冷たくないしかつ遣り辛くない」ということは正しい fact3: もしも何らかのモンスターが下ろし易いとすればそれは使用し易い fact4: もしあのぷちょぷいLv.61が下ろし易くないとするとこのまくまにゃLv.31は狡賢くて後戻りする fact5: あのぷちょぷいLv.61は気弱い fact6: 遣り辛いということはないモンスターは下ろし易くて泳ぎ疲れる fact7: もし仮にあのぷちょぷいLv.61が下ろし易いしその上気弱いとしたらこのまくまにゃLv.31は狡賢くない fact8: そのぷなぷねLv.71が下ろし易いし更に用い易いならあのぷちょぷいLv.61は下ろし易くない ; $hypothesis$ = このまくまにゃLv.31は狡賢くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__