「あのぽちゃぽにょLv.70は理解し辛いがしかし心安くない」ということは成り立たない
fact1: もし仮にこのぴゆぴちゅLv.23が心安いとすればこのぴちょぴやLv.42は例外無いけど打ち上がり易くない fact2: 心安くないモンスターは理解し辛いが心安くない fact3: 例外無くないかあるいは卑しかもしくはどちらもなモンスターはない fact4: もし「あのぽちゃぽにょLv.70は例外無くないかまたは卑しかあるいは両方ともだ」ということは偽であるとするとあのぽちゃぽにょLv.70は心安くない
fact3 -> int1: 「あのぽちゃぽにょLv.70は例外無くないかまたはそれは卑しかまたは両方である」ということは事実と異なる; int1 & fact4 -> int2: あのぽちゃぽにょLv.70は心安くない; fact2 -> int3: もしあのぽちゃぽにょLv.70が心安くないとするとあのぽちゃぽにょLv.70は理解し辛いが心安くない; int2 & int3 -> hypothesis;
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: ¬{A}{aa}; fact2 -> int3: ¬{A}{aa} -> ({C}{aa} & ¬{A}{aa}); int2 & int3 -> hypothesis;
このぴちょぴやLv.42は例外無いがしかし打ち上がり易くない
$facts$ = fact1: もし仮にこのぴゆぴちゅLv.23が心安いとすればこのぴちょぴやLv.42は例外無いけど打ち上がり易くない fact2: 心安くないモンスターは理解し辛いが心安くない fact3: 例外無くないかあるいは卑しかもしくはどちらもなモンスターはない fact4: もし「あのぽちゃぽにょLv.70は例外無くないかまたは卑しかあるいは両方ともだ」ということは偽であるとするとあのぽちゃぽにょLv.70は心安くない ; $hypothesis$ = 「あのぽちゃぽにょLv.70は理解し辛いがしかし心安くない」ということは成り立たない ; $proof$ = 
fact3 -> int1: 「あのぽちゃぽにょLv.70は例外無くないかまたはそれは卑しかまたは両方である」ということは事実と異なる; int1 & fact4 -> int2: あのぽちゃぽにょLv.70は心安くない; fact2 -> int3: もしあのぽちゃぽにょLv.70が心安くないとするとあのぽちゃぽにょLv.70は理解し辛いが心安くない; int2 & int3 -> hypothesis; __DISPROVED__
fact3 -> int1: ¬(¬{AA}{aa} v {AB}{aa}); int1 & fact4 -> int2: ¬{A}{aa}; fact2 -> int3: ¬{A}{aa} -> ({C}{aa} & ¬{A}{aa}); int2 & int3 -> hypothesis; __DISPROVED__