「「酒臭くないかもしくは現われ易くない」モンスターはいる」ということは事実と異なる
fact1: そのもちゅものLv.35は詮索するか見え難くないかまたは両方である fact2: あのぽいぽちゃLv.40は酒臭いかまたは現われ易くない fact3: 酒臭くないモンスターは現われ易くない fact4: あのぽいぽちゃLv.40は酒臭くない fact5: なんらかのモンスターは酒臭いか現われ易くない
fact4 -> int1: 「あのぽいぽちゃLv.40は酒臭くないかあるいはそれは現われ易くないかあるいは両方だ」ということは事実である; int1 -> hypothesis;
fact4 -> int1: (¬{A}{a} v ¬{B}{a}); int1 -> hypothesis;
そのぴちゃぴのLv.62は現われ易くないかあるいは思わしくないかもしくはどちらもだ
fact6 -> int2: もしそのぴちゃぴのLv.62が酒臭くないならそのぴちゃぴのLv.62は現われ易くない;
$facts$ = fact1: そのもちゅものLv.35は詮索するか見え難くないかまたは両方である fact2: あのぽいぽちゃLv.40は酒臭いかまたは現われ易くない fact3: 酒臭くないモンスターは現われ易くない fact4: あのぽいぽちゃLv.40は酒臭くない fact5: なんらかのモンスターは酒臭いか現われ易くない ; $hypothesis$ = 「「酒臭くないかもしくは現われ易くない」モンスターはいる」ということは事実と異なる ; $proof$ = 
fact4 -> int1: 「あのぽいぽちゃLv.40は酒臭くないかあるいはそれは現われ易くないかあるいは両方だ」ということは事実である; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: (¬{A}{a} v ¬{B}{a}); int1 -> hypothesis; __DISPROVED__