あのまよまちょLv.8は書き難い
fact1: 「そのみいみいLv.50は書き難い」ということは成り立つ fact2: 底深くないモンスターはちょん切るしその上芳しい fact3: このみよみのLv.82はちょん切るしまた底深い fact4: もしあのまよまちょLv.8が芳しいならばそのぽよぽなLv.61は書き難い fact5: もしあるモンスターがちょん切るとしたら書き難いけど芳しくない
そのぽよぽなLv.61は書き難い
fact6 -> int1: もし仮にあのまよまちょLv.8が底深いということはないならばあのまよまちょLv.8はちょん切るしまたそれは芳しい;
$facts$ = fact1: 「そのみいみいLv.50は書き難い」ということは成り立つ fact2: 底深くないモンスターはちょん切るしその上芳しい fact3: このみよみのLv.82はちょん切るしまた底深い fact4: もしあのまよまちょLv.8が芳しいならばそのぽよぽなLv.61は書き難い fact5: もしあるモンスターがちょん切るとしたら書き難いけど芳しくない ; $hypothesis$ = あのまよまちょLv.8は書き難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__