あのまいまのLv.52は漏れ易い
fact1: 聡いモンスターは目敏い fact2: 仮にあのまいまのLv.52が監視し易いとすれば漏れ易い fact3: 何らかのモンスターが聡いとすれば漏れ易くない fact4: もしあのぷのぷにゅLv.50が包埋するということはないならばあのぷのぷにゅLv.50はそつ無いかもしくは監視し易いかまたはどちらもだ fact5: 「あのぷのぷにゅLv.50は目敏い」ということは確かであるとするとあのまいまのLv.52は監視し易い fact6: もしもそのぷわぷにゃLv.30が持ち合わせないならあのぷのぷにゅLv.50は眩いということはないしかつ包埋しない fact7: あのまいまのLv.52は目敏い fact8: あのまいまのLv.52は安っぽい
fact1 -> int1: 仮にあのぷのぷにゅLv.50が聡いならばそれは目敏い;
fact1 -> int1: {A}{a} -> {B}{a};
あのまいまのLv.52は漏れ易くない
fact11 -> int2: あのまいまのLv.52が聡いとすると漏れ易くない;
$facts$ = fact1: 聡いモンスターは目敏い fact2: 仮にあのまいまのLv.52が監視し易いとすれば漏れ易い fact3: 何らかのモンスターが聡いとすれば漏れ易くない fact4: もしあのぷのぷにゅLv.50が包埋するということはないならばあのぷのぷにゅLv.50はそつ無いかもしくは監視し易いかまたはどちらもだ fact5: 「あのぷのぷにゅLv.50は目敏い」ということは確かであるとするとあのまいまのLv.52は監視し易い fact6: もしもそのぷわぷにゃLv.30が持ち合わせないならあのぷのぷにゅLv.50は眩いということはないしかつ包埋しない fact7: あのまいまのLv.52は目敏い fact8: あのまいまのLv.52は安っぽい ; $hypothesis$ = あのまいまのLv.52は漏れ易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__