あのもくもよLv.87は傾注する
fact1: 全てのモンスターは調律しない fact2: もしもなんらかのモンスターが確認し難くないかそれが調律しないとすると確認し難くない
あらゆるモンスターはごつい
fact4 -> int1: 「あのもくもよLv.87は調律しない」ということは成り立つ; int1 -> int2: あのもくもよLv.87は確認し難くないかまたはそれは調律するということはないかどちらもである; fact3 -> int3: もしもあのもくもよLv.87は確認し難くないかまたは調律しないかもしくはどちらもであるならそれは確認し難くない; int2 & int3 -> int4: あのもくもよLv.87は確認し難くない;
$facts$ = fact1: 全てのモンスターは調律しない fact2: もしもなんらかのモンスターが確認し難くないかそれが調律しないとすると確認し難くない ; $hypothesis$ = あのもくもよLv.87は傾注する ; $proof$ = 
__UNKNOWN__
__UNKNOWN__