「仮に掴めないかまたは理論化するということはないかあるいはどちらもであるとすると賛成し難いということはない」モンスターはいる
fact1: 「薬臭いということはないかあるいは立ち塞がらないか両方ともだとすれば塩辛い」モンスターはいる fact2: あのもなもよLv.91が掴めないかあるいはそれは理論化するということはないか両方であるならば賛成し難くない fact3: 「もし仮に掴めないかまたは理論化しないかあるいは両方であるならば賛成し難い」モンスターはいる fact4: 手厚いということはないかまたは甲斐甲斐しいということはないモンスターは優しくない fact5: 仮にあのもなもよLv.91が理論化しないとすればあのもなもよLv.91は賛成し難くない
fact2 -> hypothesis;
fact2 -> hypothesis;
「もし手厚いということはないかまたは甲斐甲斐しいということはないかもしくは両方ともだとしたら優しくない」モンスターはいる
fact6 -> int1: もし仮にそのまえまいLv.26が手厚くないかまたは甲斐甲斐しいということはないかあるいは両方なら「優しくない」ということは間違いであるということはない; int1 -> hypothesis;
$facts$ = fact1: 「薬臭いということはないかあるいは立ち塞がらないか両方ともだとすれば塩辛い」モンスターはいる fact2: あのもなもよLv.91が掴めないかあるいはそれは理論化するということはないか両方であるならば賛成し難くない fact3: 「もし仮に掴めないかまたは理論化しないかあるいは両方であるならば賛成し難い」モンスターはいる fact4: 手厚いということはないかまたは甲斐甲斐しいということはないモンスターは優しくない fact5: 仮にあのもなもよLv.91が理論化しないとすればあのもなもよLv.91は賛成し難くない ; $hypothesis$ = 「仮に掴めないかまたは理論化するということはないかあるいはどちらもであるとすると賛成し難いということはない」モンスターはいる ; $proof$ = 
fact2 -> hypothesis; __PROVED__
fact2 -> hypothesis; __PROVED__