あのまちゃまいLv.47は漏れ易くない
fact1: もし「このぴくぴにゅLv.57は漏れ易い」ということは成り立つならあのまちゃまいLv.47は漏れ易い fact2: あのぷちゅぷよLv.73が掴み易くないとするとこのぴくぴにゅLv.57は漏れ易いし忍耐強い fact3: もし仮にあのまちゃまいLv.47は混同し易いしおまけに忍耐強いとすればそれは漏れ易くない fact4: あのまちゃまいLv.47は掴み易い fact5: そのぽちゃぽくLv.95は混同し易い fact6: そのぴにゅぴやLv.46が忍耐強いならば御詳しい fact7: あのまちゃまいLv.47は忍耐強くて掴み易い
fact7 -> int1: あのまちゃまいLv.47は忍耐強い;
fact7 -> int1: {A}{a};
あのまちゃまいLv.47は漏れ易い
$facts$ = fact1: もし「このぴくぴにゅLv.57は漏れ易い」ということは成り立つならあのまちゃまいLv.47は漏れ易い fact2: あのぷちゅぷよLv.73が掴み易くないとするとこのぴくぴにゅLv.57は漏れ易いし忍耐強い fact3: もし仮にあのまちゃまいLv.47は混同し易いしおまけに忍耐強いとすればそれは漏れ易くない fact4: あのまちゃまいLv.47は掴み易い fact5: そのぽちゃぽくLv.95は混同し易い fact6: そのぴにゅぴやLv.46が忍耐強いならば御詳しい fact7: あのまちゃまいLv.47は忍耐強くて掴み易い ; $hypothesis$ = あのまちゃまいLv.47は漏れ易くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__