「もしも働き易くないならば解し難いししかもしがなくない」モンスターはいる
fact1: 使い難くないモンスターは寝過ごすがしかし利するということはない
「「使い難くないとしたら寝過ごすし利しない」モンスターはいる」ということは成り立つ
fact2 -> int1: もしそのぽにゃぽにゅLv.47が使い難くないとするとそのぽにゃぽにゅLv.47は寝過ごすけど利しない; int1 -> hypothesis;
$facts$ = fact1: 使い難くないモンスターは寝過ごすがしかし利するということはない ; $hypothesis$ = 「もしも働き易くないならば解し難いししかもしがなくない」モンスターはいる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__