「「もし談判しないとすると潔いかあるいは下せるかまたは両方ともな」モンスターはいる」ということは誤っている
fact1: 仮にあのぽちゃぽゆLv.67が近いならばあのぽちゃぽゆLv.67は移ろい易いかまたは御参照下さるかあるいは両方ともである fact2: 「もし仮に冷め難くないとすると長たらしいかもしくは覚束無い」モンスターはいる fact3: 「もし仮に幼くないとすればわりないかもしくは住み難い」モンスターはいる fact4: 仮にあるモンスターが談判しないとすればそれは潔いかまたは下せる
fact4 -> int1: 仮にあのぽちゃぽゆLv.67が談判しないならあのぽちゃぽゆLv.67は潔いか下せるか両方ともだ; int1 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} v {AB}{aa}); int1 -> hypothesis;
$facts$ = fact1: 仮にあのぽちゃぽゆLv.67が近いならばあのぽちゃぽゆLv.67は移ろい易いかまたは御参照下さるかあるいは両方ともである fact2: 「もし仮に冷め難くないとすると長たらしいかもしくは覚束無い」モンスターはいる fact3: 「もし仮に幼くないとすればわりないかもしくは住み難い」モンスターはいる fact4: 仮にあるモンスターが談判しないとすればそれは潔いかまたは下せる ; $hypothesis$ = 「「もし談判しないとすると潔いかあるいは下せるかまたは両方ともな」モンスターはいる」ということは誤っている ; $proof$ = 
fact4 -> int1: 仮にあのぽちゃぽゆLv.67が談判しないならあのぽちゃぽゆLv.67は潔いか下せるか両方ともだ; int1 -> hypothesis; __DISPROVED__
fact4 -> int1: ¬{A}{aa} -> ({AA}{aa} v {AB}{aa}); int1 -> hypothesis; __DISPROVED__