「「安堵しないかあるいは羨ましくないかあるいはどちらもである」ということは成り立つとすれば長ーくない」モンスターはいる
fact1: 「もしも安堵しないか羨ましいかまたはどちらもであるなら長ーくない」モンスターはいる fact2: 「もし安堵するということはないかあるいは羨ましくないかあるいは両方だとすると長ーい」モンスターはいる fact3: もしとあるモンスターが醇化しないかそれがとろくないならば堪え難くない fact4: 「仮に熱し易いかあるいは忍耐強くないかあるいはどちらもだとしたら「弱々しいということはない」ということは事実な」モンスターはいる
あのぽやぽやLv.13が醇化しないかとろくないならば堪え難くない
fact5 -> hypothesis;
$facts$ = fact1: 「もしも安堵しないか羨ましいかまたはどちらもであるなら長ーくない」モンスターはいる fact2: 「もし安堵するということはないかあるいは羨ましくないかあるいは両方だとすると長ーい」モンスターはいる fact3: もしとあるモンスターが醇化しないかそれがとろくないならば堪え難くない fact4: 「仮に熱し易いかあるいは忍耐強くないかあるいはどちらもだとしたら「弱々しいということはない」ということは事実な」モンスターはいる ; $hypothesis$ = 「「安堵しないかあるいは羨ましくないかあるいはどちらもである」ということは成り立つとすれば長ーくない」モンスターはいる ; $proof$ = 
__UNKNOWN__
__UNKNOWN__