「そのぴにゃぴわLv.72は開き易いし加えて逓減する」ということは成り立たない
fact1: もしも「「なにがしかのモンスターは傷付き易くないかもしくは詳しい」ということは正しい」ということは成り立たないとするとそれは逓減する fact2: 「そのぴにゃぴわLv.72は傷付き易くないかもしくは詳しいかあるいはどちらもである」ということは成り立たない fact3: そのぴにゃぴわLv.72は遣る瀬無くてさらに開き易い fact4: 「そのぽにゅぽえLv.95は遣る瀬無い」ということは真実ならそのぽちょぽねLv.5は遣る瀬無い
fact1 -> int1: もし「そのぴにゃぴわLv.72は傷付き易くないかまたは詳しいかあるいはどちらもである」ということは嘘であるとしたらそれは逓減する; int1 & fact2 -> int2: そのぴにゃぴわLv.72は逓減する; fact3 -> int3: そのぴにゃぴわLv.72は開き易い; int2 & int3 -> hypothesis;
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; fact3 -> int3: {A}{aa}; int2 & int3 -> hypothesis;
そのぽちょぽねLv.5は遣る瀬無い
$facts$ = fact1: もしも「「なにがしかのモンスターは傷付き易くないかもしくは詳しい」ということは正しい」ということは成り立たないとするとそれは逓減する fact2: 「そのぴにゃぴわLv.72は傷付き易くないかもしくは詳しいかあるいはどちらもである」ということは成り立たない fact3: そのぴにゃぴわLv.72は遣る瀬無くてさらに開き易い fact4: 「そのぽにゅぽえLv.95は遣る瀬無い」ということは真実ならそのぽちょぽねLv.5は遣る瀬無い ; $hypothesis$ = 「そのぴにゃぴわLv.72は開き易いし加えて逓減する」ということは成り立たない ; $proof$ = 
fact1 -> int1: もし「そのぴにゃぴわLv.72は傷付き易くないかまたは詳しいかあるいはどちらもである」ということは嘘であるとしたらそれは逓減する; int1 & fact2 -> int2: そのぴにゃぴわLv.72は逓減する; fact3 -> int3: そのぴにゃぴわLv.72は開き易い; int2 & int3 -> hypothesis; __DISPROVED__
fact1 -> int1: ¬(¬{AA}{aa} v {AB}{aa}) -> {B}{aa}; int1 & fact2 -> int2: {B}{aa}; fact3 -> int3: {A}{aa}; int2 & int3 -> hypothesis; __DISPROVED__