「そのもいもくLv.80は分かり辛くなくてまた徴発しない」ということは正しい
fact1: 「そのもいもくLv.80は水臭くない」ということは成り立つ fact2: なにがしかのモンスターは水臭くないならば「分かり辛くないしそれは徴発しない」ということは成り立たない
fact2 -> int1: もし仮にそのもいもくLv.80は水臭いということはないとすれば「そのもいもくLv.80は分かり辛くないししかも徴発しない」ということは偽だ; int1 & fact1 -> hypothesis;
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis;
$facts$ = fact1: 「そのもいもくLv.80は水臭くない」ということは成り立つ fact2: なにがしかのモンスターは水臭くないならば「分かり辛くないしそれは徴発しない」ということは成り立たない ; $hypothesis$ = 「そのもいもくLv.80は分かり辛くなくてまた徴発しない」ということは正しい ; $proof$ = 
fact2 -> int1: もし仮にそのもいもくLv.80は水臭いということはないとすれば「そのもいもくLv.80は分かり辛くないししかも徴発しない」ということは偽だ; int1 & fact1 -> hypothesis; __DISPROVED__
fact2 -> int1: ¬{A}{aa} -> ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact1 -> hypothesis; __DISPROVED__