そのぽにゃぽくLv.31は分け合うということはない
fact1: このぽやぽにょLv.34は御詫び申し上げない fact2: このぽやぽにょLv.34は塗り易くない fact3: そのぴにゃぴにゃLv.22は塗り易い fact4: もしそのぴにゃぴにゃLv.22がまだるっこしいとすればこのぽやぽにょLv.34は塗り易い fact5: もしもそのぽにゃぽくLv.31が分け合えばそのぴにゃぴにゃLv.22はまだるっこしい fact6: もし仮に「なにがしかのモンスターは伝世するしまた優しい」ということは成り立たないとすると塗り易くない fact7: 仮になにがしかのモンスターが塗り易いということはないとしたらそれは分け合うしまだるっこしくない fact8: もし仮にとあるモンスターは心細くないなら「それは伝世するし優しい」ということは誤っている
void -> assump1: 以下のように仮定する。そのぽにゃぽくLv.31は分け合う; fact5 & assump1 -> int1: そのぴにゃぴにゃLv.22はまだるっこしい; int1 & fact4 -> int2: このぽやぽにょLv.34は塗り易い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis;
「そのぴにゃぴにゃLv.22は分け合わない」ということは嘘だ
fact10 -> int4: もし仮にそのぴにゃぴにゃLv.22が塗り易くないとすれば分け合うがまだるっこしくない; fact11 -> int5: もし「そのぴにゃぴにゃLv.22は伝世するし優しい」ということは正しくないとするとそのぴにゃぴにゃLv.22は塗り易くない; fact9 -> int6: そのぴにゃぴにゃLv.22は心細くないとすれば「それは伝世するしそれに優しい」ということは嘘だ;
$facts$ = fact1: このぽやぽにょLv.34は御詫び申し上げない fact2: このぽやぽにょLv.34は塗り易くない fact3: そのぴにゃぴにゃLv.22は塗り易い fact4: もしそのぴにゃぴにゃLv.22がまだるっこしいとすればこのぽやぽにょLv.34は塗り易い fact5: もしもそのぽにゃぽくLv.31が分け合えばそのぴにゃぴにゃLv.22はまだるっこしい fact6: もし仮に「なにがしかのモンスターは伝世するしまた優しい」ということは成り立たないとすると塗り易くない fact7: 仮になにがしかのモンスターが塗り易いということはないとしたらそれは分け合うしまだるっこしくない fact8: もし仮にとあるモンスターは心細くないなら「それは伝世するし優しい」ということは誤っている ; $hypothesis$ = そのぽにゃぽくLv.31は分け合うということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぽにゃぽくLv.31は分け合う; fact5 & assump1 -> int1: そのぴにゃぴにゃLv.22はまだるっこしい; int1 & fact4 -> int2: このぽやぽにょLv.34は塗り易い; int2 & fact2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact5 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact2 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__