そのぷよぷくLv.18は戻し易い
fact1: 「熱っぽいということはないしそれに山深くない」モンスターはいる fact2: 仮にこのぴゆぴやLv.93が弾き続ければそのぽにぽちゅLv.93は弾き続けない fact3: 仮にそのぽよぽやLv.17が山深いとするとこのぴゆぴやLv.93は弾き続ける fact4: もしそのぽよぽやLv.17が弾き続ければそのぷよぷくLv.18は戻し易い fact5: 熱っぽくなくて山深くないモンスターがいればこのぴゆぴやLv.93は山深いということはない fact6: もし「そのぽよぽやLv.17は自負しないしさらに愚かしいということはない」ということは確かでないとしたらそのぽよぽやLv.17は弾き続ける
fact5 & fact1 -> int1: このぴゆぴやLv.93は山深くない;
fact5 & fact1 -> int1: ¬{A}{a};
そのぽにぽちゅLv.93は弾き続けない
$facts$ = fact1: 「熱っぽいということはないしそれに山深くない」モンスターはいる fact2: 仮にこのぴゆぴやLv.93が弾き続ければそのぽにぽちゅLv.93は弾き続けない fact3: 仮にそのぽよぽやLv.17が山深いとするとこのぴゆぴやLv.93は弾き続ける fact4: もしそのぽよぽやLv.17が弾き続ければそのぷよぷくLv.18は戻し易い fact5: 熱っぽくなくて山深くないモンスターがいればこのぴゆぴやLv.93は山深いということはない fact6: もし「そのぽよぽやLv.17は自負しないしさらに愚かしいということはない」ということは確かでないとしたらそのぽよぽやLv.17は弾き続ける ; $hypothesis$ = そのぷよぷくLv.18は戻し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__