このまえまやLv.17は分かり難い
fact1: 仮にそのぽにょぽにゃLv.73がおっかしいとするとこのまえまやLv.17は拝聴する fact2: 物狂おしいかあるいは安堵し難いかまたは両方ともであるモンスターはふてぶてしくない fact3: 読み辛いモンスターは近しいということはないけど気付き易い fact4: もしこのまえまやLv.17は拝聴するか近しいかまたは両方だとしたら分かり難くない fact5: 「そのぽにょぽにゃLv.73は気付き易い」ということは真実である fact6: もし仮にそのぽにょぽにゃLv.73が近しいとすればこのまえまやLv.17は気付き易い fact7: 仮にあのぽのぽやLv.18は近しいということはないが気付き易いならあのみのみにゃLv.7はおっかしくない
もしも「このまえまやLv.17は物狂おしいかまたは安堵し難い」ということは嘘でないとしたらふてぶてしくない
fact8 -> hypothesis;
$facts$ = fact1: 仮にそのぽにょぽにゃLv.73がおっかしいとするとこのまえまやLv.17は拝聴する fact2: 物狂おしいかあるいは安堵し難いかまたは両方ともであるモンスターはふてぶてしくない fact3: 読み辛いモンスターは近しいということはないけど気付き易い fact4: もしこのまえまやLv.17は拝聴するか近しいかまたは両方だとしたら分かり難くない fact5: 「そのぽにょぽにゃLv.73は気付き易い」ということは真実である fact6: もし仮にそのぽにょぽにゃLv.73が近しいとすればこのまえまやLv.17は気付き易い fact7: 仮にあのぽのぽやLv.18は近しいということはないが気付き易いならあのみのみにゃLv.7はおっかしくない ; $hypothesis$ = このまえまやLv.17は分かり難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__