あのぴにゃぴえLv.9は導出しない
fact1: もしも「何らかのモンスターは書き抜くしさらに導出する」ということは間違いだとするとそれは導出するということはない fact2: あのぽなぽよLv.40は引き倒すし加えてそれは引き起こし易い fact3: あのぴにゃぴえLv.9が書き抜くならあのぴにゃぴえLv.9は導出する
あのぴにゃぴえLv.9は導出しない
fact4 -> int1: 「あのぴにゃぴえLv.9は書き抜くししかも導出する」ということは成り立たないとすると「導出しない」ということは確かだ;
$facts$ = fact1: もしも「何らかのモンスターは書き抜くしさらに導出する」ということは間違いだとするとそれは導出するということはない fact2: あのぽなぽよLv.40は引き倒すし加えてそれは引き起こし易い fact3: あのぴにゃぴえLv.9が書き抜くならあのぴにゃぴえLv.9は導出する ; $hypothesis$ = あのぴにゃぴえLv.9は導出しない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__