「「「もしも望ましくないかもしくはまだるっこしくないとすれば心地良い」モンスターはいる」ということは嘘でない」ということは誤っている
fact1: 伝わり難くないかもしくは薄いモンスターは運悪い fact2: 伝わり難くないか心深くないかあるいは両方ともなモンスターは抜き難い fact3: 望ましくないかまたはまだるっこしくないかまたは両方なモンスターは心地良い
fact3 -> int1: もしもあのもにもえLv.95が望ましくないかもしくはまだるっこしくないかあるいは両方だとするとあのもにもえLv.95は心地良い; int1 -> hypothesis;
fact3 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis;
$facts$ = fact1: 伝わり難くないかもしくは薄いモンスターは運悪い fact2: 伝わり難くないか心深くないかあるいは両方ともなモンスターは抜き難い fact3: 望ましくないかまたはまだるっこしくないかまたは両方なモンスターは心地良い ; $hypothesis$ = 「「「もしも望ましくないかもしくはまだるっこしくないとすれば心地良い」モンスターはいる」ということは嘘でない」ということは誤っている ; $proof$ = 
fact3 -> int1: もしもあのもにもえLv.95が望ましくないかもしくはまだるっこしくないかあるいは両方だとするとあのもにもえLv.95は心地良い; int1 -> hypothesis; __DISPROVED__
fact3 -> int1: (¬{AA}{aa} v ¬{AB}{aa}) -> {B}{aa}; int1 -> hypothesis; __DISPROVED__