このぽいぽなLv.31は消化吸収され易い
fact1: もしも「なんらかのモンスターは消化吸収され易くない」ということは本当であるならば「苦々しいかつべたくないかあるいは両方ともである」ということは成り立たない fact2: 「このぽいぽなLv.31は苦々しいかつべたいということはない」ということは正しい
fact1 -> int1: もしも「このぽいぽなLv.31は消化吸収され易くない」ということは確かならば「それは苦々しいかまたはそれはつべたいということはないかもしくは両方だ」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このぽいぽなLv.31は消化吸収され易くない; int1 & assump1 -> int2: 「このぽいぽなLv.31は苦々しいかつべたいということはない」ということは成り立たない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: もしも「なんらかのモンスターは消化吸収され易くない」ということは本当であるならば「苦々しいかつべたくないかあるいは両方ともである」ということは成り立たない fact2: 「このぽいぽなLv.31は苦々しいかつべたいということはない」ということは正しい ; $hypothesis$ = このぽいぽなLv.31は消化吸収され易い ; $proof$ = 
fact1 -> int1: もしも「このぽいぽなLv.31は消化吸収され易くない」ということは確かならば「それは苦々しいかまたはそれはつべたいということはないかもしくは両方だ」ということは成り立つということはない; void -> assump1: 以下のように仮定する。このぽいぽなLv.31は消化吸収され易くない; int1 & assump1 -> int2: 「このぽいぽなLv.31は苦々しいかつべたいということはない」ということは成り立たない; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact1 -> int1: ¬{A}{aa} -> ¬({AA}{aa} v ¬{AB}{aa}); void -> assump1: ¬{A}{aa}; int1 & assump1 -> int2: ¬({AA}{aa} v ¬{AB}{aa}); int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__