「「もし非難がましいかもしくは行い易いとしたら出易いということはない」モンスターはいる」ということは成り立つということはない
fact1: もしこのぷのぷちゃLv.58が非難がましいとしたらこのぷのぷちゃLv.58は出易くない fact2: 非難がましいかもしくは行い易いかあるいはどちらもなモンスターは出易くない fact3: 「非難がましいかあるいは行い易いモンスターは出易い」ということは本当だ fact4: 「非難がましいとしたら出易いということはない」モンスターはいる fact5: 「もしも移動し易いなら心弱くない」モンスターはいる
fact2 -> int1: 仮にこのぷのぷちゃLv.58が非難がましいか行い易いかどちらもだとするとそれは出易くない; int1 -> hypothesis;
fact2 -> int1: ({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis;
$facts$ = fact1: もしこのぷのぷちゃLv.58が非難がましいとしたらこのぷのぷちゃLv.58は出易くない fact2: 非難がましいかもしくは行い易いかあるいはどちらもなモンスターは出易くない fact3: 「非難がましいかあるいは行い易いモンスターは出易い」ということは本当だ fact4: 「非難がましいとしたら出易いということはない」モンスターはいる fact5: 「もしも移動し易いなら心弱くない」モンスターはいる ; $hypothesis$ = 「「もし非難がましいかもしくは行い易いとしたら出易いということはない」モンスターはいる」ということは成り立つということはない ; $proof$ = 
fact2 -> int1: 仮にこのぷのぷちゃLv.58が非難がましいか行い易いかどちらもだとするとそれは出易くない; int1 -> hypothesis; __DISPROVED__
fact2 -> int1: ({AA}{aa} v {AB}{aa}) -> ¬{B}{aa}; int1 -> hypothesis; __DISPROVED__