あのぴよぴいLv.30は押さえ難くない
fact1: あのぽなぽにゃLv.19は弱々しくない fact2: もし仮に「あのぽなぽにゃLv.19は賑々しいしかつ把握し辛い」ということは事実と異なるとすればあのぴよぴいLv.30は押さえ難くない fact3: なんらかのモンスターは弱々しくないなら「それは賑々しくてさらに把握し辛い」ということは誤りだ fact4: もしこのぽえぽちょLv.8が押さえ難いならあのぴよぴいLv.30は押さえ難い fact5: もしあのぴよぴいLv.30は押さえ難くないなら「それは弱々しくておまけに把握し辛い」ということは成り立たない fact6: もしも何らかのモンスターは弱々しくないとすれば「押さえ難いしその上把握し辛い」ということは成り立たない
fact3 -> int1: もしあのぽなぽにゃLv.19は弱々しくないとすると「あのぽなぽにゃLv.19は賑々しくて更に把握し辛い」ということは嘘だ; int1 & fact1 -> int2: 「あのぽなぽにゃLv.19は賑々しいし把握し辛い」ということは事実と異なる; int2 & fact2 -> hypothesis;
fact3 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact2 -> hypothesis;
あのぴよぴいLv.30は押さえ難い
$facts$ = fact1: あのぽなぽにゃLv.19は弱々しくない fact2: もし仮に「あのぽなぽにゃLv.19は賑々しいしかつ把握し辛い」ということは事実と異なるとすればあのぴよぴいLv.30は押さえ難くない fact3: なんらかのモンスターは弱々しくないなら「それは賑々しくてさらに把握し辛い」ということは誤りだ fact4: もしこのぽえぽちょLv.8が押さえ難いならあのぴよぴいLv.30は押さえ難い fact5: もしあのぴよぴいLv.30は押さえ難くないなら「それは弱々しくておまけに把握し辛い」ということは成り立たない fact6: もしも何らかのモンスターは弱々しくないとすれば「押さえ難いしその上把握し辛い」ということは成り立たない ; $hypothesis$ = あのぴよぴいLv.30は押さえ難くない ; $proof$ = 
fact3 -> int1: もしあのぽなぽにゃLv.19は弱々しくないとすると「あのぽなぽにゃLv.19は賑々しくて更に把握し辛い」ということは嘘だ; int1 & fact1 -> int2: 「あのぽなぽにゃLv.19は賑々しいし把握し辛い」ということは事実と異なる; int2 & fact2 -> hypothesis; __PROVED__
fact3 -> int1: ¬{A}{aa} -> ¬({AA}{aa} & {AB}{aa}); int1 & fact1 -> int2: ¬({AA}{aa} & {AB}{aa}); int2 & fact2 -> hypothesis; __PROVED__