そのぷのぷなLv.91は腫れぼったくない
fact1: そのもやもちゃLv.69が入れ始めるしおまけに強しとしたらそのぷのぷなLv.91は腫れぼったくない fact2: もしこのぽちゃぽにLv.96がしがなくないならばそのもやもちゃLv.69は入れ始める fact3: もし「このぽちゃぽにLv.96は腫れぼったいがしかし解け易くない」ということは成り立たないならこのぽえぽのLv.32は腫れぼったくない fact4: そのもやもちゃLv.69は強し fact5: このぽちゃぽにLv.96は解け易い fact6: このぽちゃぽにLv.96はすばしっこい fact7: もしこのぽちゃぽにLv.96がすばしっこいし解け易いならばそれはしがなくない fact8: もしも何らかのモンスターがすばしっこくないとすると腫れぼったい
fact6 & fact5 -> int1: このぽちゃぽにLv.96はすばしっこいし解け易い; int1 & fact7 -> int2: このぽちゃぽにLv.96はしがなくない; int2 & fact2 -> int3: そのもやもちゃLv.69は入れ始める; int3 & fact4 -> int4: 「そのもやもちゃLv.69は入れ始めるししかも強し」ということは正しい; int4 & fact1 -> hypothesis;
fact6 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact4 -> int4: ({D}{b} & {E}{b}); int4 & fact1 -> hypothesis;
そのぷのぷなLv.91は腫れぼったい
fact9 -> int5: もしそのぷのぷなLv.91はすばしっこいということはないならば「そのぷのぷなLv.91は腫れぼったい」ということは確かである;
$facts$ = fact1: そのもやもちゃLv.69が入れ始めるしおまけに強しとしたらそのぷのぷなLv.91は腫れぼったくない fact2: もしこのぽちゃぽにLv.96がしがなくないならばそのもやもちゃLv.69は入れ始める fact3: もし「このぽちゃぽにLv.96は腫れぼったいがしかし解け易くない」ということは成り立たないならこのぽえぽのLv.32は腫れぼったくない fact4: そのもやもちゃLv.69は強し fact5: このぽちゃぽにLv.96は解け易い fact6: このぽちゃぽにLv.96はすばしっこい fact7: もしこのぽちゃぽにLv.96がすばしっこいし解け易いならばそれはしがなくない fact8: もしも何らかのモンスターがすばしっこくないとすると腫れぼったい ; $hypothesis$ = そのぷのぷなLv.91は腫れぼったくない ; $proof$ = 
fact6 & fact5 -> int1: このぽちゃぽにLv.96はすばしっこいし解け易い; int1 & fact7 -> int2: このぽちゃぽにLv.96はしがなくない; int2 & fact2 -> int3: そのもやもちゃLv.69は入れ始める; int3 & fact4 -> int4: 「そのもやもちゃLv.69は入れ始めるししかも強し」ということは正しい; int4 & fact1 -> hypothesis; __PROVED__
fact6 & fact5 -> int1: ({A}{a} & {B}{a}); int1 & fact7 -> int2: ¬{C}{a}; int2 & fact2 -> int3: {D}{b}; int3 & fact4 -> int4: ({D}{b} & {E}{b}); int4 & fact1 -> hypothesis; __PROVED__