あのまくまわLv.24は重い
fact1: もしなにがしかのモンスターが着手すらないとすれば欲深くておまけに重い fact2: あらゆるモンスターは重い fact3: もし仮に「そのものもにゅLv.90は仕方無しないかあるいは着手すらないかもしくはどちらもである」ということは間違いならばあのまくまわLv.24は重くない fact4: 「あのまくまわLv.24は高鳴る」ということは事実である fact5: 仮にとあるモンスターは発生し易いとしたら「それは仕方無しないかもしくは着手すらないか両方ともだ」ということは事実と異なる fact6: 全てのモンスターは運営出来る
fact2 -> int1: あらゆるモンスターは重い; int1 -> hypothesis;
fact2 -> int1: (x): {A}x; int1 -> hypothesis;
あらゆるモンスターは欲深い
fact7 -> int2: もし「あのまくまわLv.24は着手すらない」ということは間違いだということはないならばあのまくまわLv.24は欲深いし重い;
$facts$ = fact1: もしなにがしかのモンスターが着手すらないとすれば欲深くておまけに重い fact2: あらゆるモンスターは重い fact3: もし仮に「そのものもにゅLv.90は仕方無しないかあるいは着手すらないかもしくはどちらもである」ということは間違いならばあのまくまわLv.24は重くない fact4: 「あのまくまわLv.24は高鳴る」ということは事実である fact5: 仮にとあるモンスターは発生し易いとしたら「それは仕方無しないかもしくは着手すらないか両方ともだ」ということは事実と異なる fact6: 全てのモンスターは運営出来る ; $hypothesis$ = あのまくまわLv.24は重い ; $proof$ = 
fact2 -> int1: あらゆるモンスターは重い; int1 -> hypothesis; __PROVED__
fact2 -> int1: (x): {A}x; int1 -> hypothesis; __PROVED__