「そのぽわぽいLv.69は黄色っぽい」ということは成り立つ
fact1: 仮に「何らかのモンスターはおっきくないか刈り取るか両方だ」ということは嘘であるとするとそれは御強くない fact2: 黄色っぽくないモンスターは鋭くない fact3: あのぴよぴいLv.26は鋭くない fact4: 育て易いモンスターは黄色っぽい fact5: そのぽわぽいLv.69は鋭い fact6: 御強くないモンスターは育て易くて鋭い fact7: もし仮にこのぽよぽにLv.31が育て易いとしたらそのぽわぽいLv.69は黄色っぽくない
fact2 -> int1: もしそのぽわぽいLv.69が黄色っぽくないとすると鋭くない; void -> assump1: 以下のように仮定する。そのぽわぽいLv.69は黄色っぽくない; int1 & assump1 -> int2: そのぽわぽいLv.69は鋭くない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis;
このぽちゅぽにょLv.65は黄色っぽい
fact9 -> int4: もし仮にこのぽちゅぽにょLv.65が育て易いならこのぽちゅぽにょLv.65は黄色っぽい; fact8 -> int5: このぽちゅぽにょLv.65が御強くないとすると育て易いし鋭い; fact10 -> int6: もし仮に「このぽちゅぽにょLv.65はおっきいということはないかもしくは刈り取るか両方ともである」ということは間違いだとしたら御強くない;
$facts$ = fact1: 仮に「何らかのモンスターはおっきくないか刈り取るか両方だ」ということは嘘であるとするとそれは御強くない fact2: 黄色っぽくないモンスターは鋭くない fact3: あのぴよぴいLv.26は鋭くない fact4: 育て易いモンスターは黄色っぽい fact5: そのぽわぽいLv.69は鋭い fact6: 御強くないモンスターは育て易くて鋭い fact7: もし仮にこのぽよぽにLv.31が育て易いとしたらそのぽわぽいLv.69は黄色っぽくない ; $hypothesis$ = 「そのぽわぽいLv.69は黄色っぽい」ということは成り立つ ; $proof$ = 
fact2 -> int1: もしそのぽわぽいLv.69が黄色っぽくないとすると鋭くない; void -> assump1: 以下のように仮定する。そのぽわぽいLv.69は黄色っぽくない; int1 & assump1 -> int2: そのぽわぽいLv.69は鋭くない; int2 & fact5 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
fact2 -> int1: ¬{B}{aa} -> ¬{C}{aa}; void -> assump1: ¬{B}{aa}; int1 & assump1 -> int2: ¬{C}{aa}; int2 & fact5 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__