あのぽくぽやLv.34は捨て難いがそれは荒々しくない
fact1: あのもにゃもくLv.64はブラバスらしい fact2: もし「「ブラバスらしいしそれに捨て難くない」ということは間違っている」モンスターがいるならあのもにゃもくLv.64は荒々しくない fact3: もし「「捨て難いし荒々しくない」ということは偽な」モンスターがいるとするとあのもにゃもくLv.64はブラバスらしくない fact4: 「「捨て難いし加えて荒々しい」ということは真実でない」モンスターはいる
void -> assump1: 以下のように仮定する。「あのぽくぽやLv.34は捨て難いがそれは荒々しくない」ということは誤りだ; assump1 -> int1: 「「捨て難いし荒々しくない」ということは成り立たない」モンスターはいる; int1 & fact3 -> int2: あのもにゃもくLv.64はブラバスらしくない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); assump1 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact3 -> int2: ¬{A}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: あのもにゃもくLv.64はブラバスらしい fact2: もし「「ブラバスらしいしそれに捨て難くない」ということは間違っている」モンスターがいるならあのもにゃもくLv.64は荒々しくない fact3: もし「「捨て難いし荒々しくない」ということは偽な」モンスターがいるとするとあのもにゃもくLv.64はブラバスらしくない fact4: 「「捨て難いし加えて荒々しい」ということは真実でない」モンスターはいる ; $hypothesis$ = あのぽくぽやLv.34は捨て難いがそれは荒々しくない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのぽくぽやLv.34は捨て難いがそれは荒々しくない」ということは誤りだ; assump1 -> int1: 「「捨て難いし荒々しくない」ということは成り立たない」モンスターはいる; int1 & fact3 -> int2: あのもにゃもくLv.64はブラバスらしくない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬({AA}{aa} & ¬{AB}{aa}); assump1 -> int1: (Ex): ¬({AA}x & ¬{AB}x); int1 & fact3 -> int2: ¬{A}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__