以下のように仮定する。あのまいまねLv.47は切れ易い
fact1: 辛過ぎるということはないかまたは走り為さるかまたはどちらもだというモンスターはない fact2: 仮に「「御労しいしまた如何わしい」ということは成り立たない」モンスターがいればそのもにもにょLv.7は御労しくない fact3: そのもくもねLv.21は如何わしい fact4: もしあのまいまねLv.47が切れ易いしさらにそれが御労しいとすればそのもくもねLv.21は如何わしいということはない fact5: あのまいまねLv.47は如何わしい fact6: 仮にそのもくもねLv.21が切れ易いとするとあのまいまねLv.47は切れ易い fact7: そのみやみいLv.46は如何わしい
そのもにもにょLv.7は御労しくない
fact8 -> int1: 「そのもくもねLv.21は辛過ぎないかそれは走り為さる」ということは間違いだ;
$facts$ = fact1: 辛過ぎるということはないかまたは走り為さるかまたはどちらもだというモンスターはない fact2: 仮に「「御労しいしまた如何わしい」ということは成り立たない」モンスターがいればそのもにもにょLv.7は御労しくない fact3: そのもくもねLv.21は如何わしい fact4: もしあのまいまねLv.47が切れ易いしさらにそれが御労しいとすればそのもくもねLv.21は如何わしいということはない fact5: あのまいまねLv.47は如何わしい fact6: 仮にそのもくもねLv.21が切れ易いとするとあのまいまねLv.47は切れ易い fact7: そのみやみいLv.46は如何わしい ; $hypothesis$ = 以下のように仮定する。あのまいまねLv.47は切れ易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__