そのぴやぴくLv.91は刺々しくない
fact1: あのぽにゅぽくLv.8が刺々しいとすればそのぴやぴくLv.91は近しい fact2: あのぽにゅぽくLv.8は使い易いかもしくは近しいかあるいは両方ともである fact3: 「そのぴやぴくLv.91は展開し易い」ということは確かだ fact4: 当たり易くないモンスターは使い易いし近しい fact5: あのぽにゅぽくLv.8が当たり易いならそのぴやぴくLv.91は近しい fact6: もしも「あのぽにゅぽくLv.8は近しい」ということは成り立つとすればそのぴやぴくLv.91は当たり易い fact7: もしもなんらかのモンスターが使い易いとしたらそれは刺々しい fact8: 仮にそのぴやぴくLv.91が当たり易いならばそのぴやぴくLv.91は入り辛い fact9: 「あのぽにゅぽくLv.8は刺々しい」ということは真実だ fact10: もしそのぴやぴくLv.91が入り辛いしその上展開し易いならば「そのぴやぴくLv.91は刺々しいということはない」ということは確かだ fact11: もしもあのぽにゅぽくLv.8は使い易いならば「そのぴやぴくLv.91は当たり易い」ということは真実だ
fact2 & fact11 & fact6 -> int1: そのぴやぴくLv.91は当たり易い; int1 & fact8 -> int2: そのぴやぴくLv.91は入り辛い; int2 & fact3 -> int3: そのぴやぴくLv.91は入り辛くて展開し易い; int3 & fact10 -> hypothesis;
fact2 & fact11 & fact6 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{c}; int2 & fact3 -> int3: ({D}{c} & {E}{c}); int3 & fact10 -> hypothesis;
あのみにょみにゅLv.61は潔しかまたは展開し易い
fact12 -> int4: もしあのぽにゅぽくLv.8が当たり易くないとしたら使い易くておまけに近しい;
$facts$ = fact1: あのぽにゅぽくLv.8が刺々しいとすればそのぴやぴくLv.91は近しい fact2: あのぽにゅぽくLv.8は使い易いかもしくは近しいかあるいは両方ともである fact3: 「そのぴやぴくLv.91は展開し易い」ということは確かだ fact4: 当たり易くないモンスターは使い易いし近しい fact5: あのぽにゅぽくLv.8が当たり易いならそのぴやぴくLv.91は近しい fact6: もしも「あのぽにゅぽくLv.8は近しい」ということは成り立つとすればそのぴやぴくLv.91は当たり易い fact7: もしもなんらかのモンスターが使い易いとしたらそれは刺々しい fact8: 仮にそのぴやぴくLv.91が当たり易いならばそのぴやぴくLv.91は入り辛い fact9: 「あのぽにゅぽくLv.8は刺々しい」ということは真実だ fact10: もしそのぴやぴくLv.91が入り辛いしその上展開し易いならば「そのぴやぴくLv.91は刺々しいということはない」ということは確かだ fact11: もしもあのぽにゅぽくLv.8は使い易いならば「そのぴやぴくLv.91は当たり易い」ということは真実だ ; $hypothesis$ = そのぴやぴくLv.91は刺々しくない ; $proof$ = 
fact2 & fact11 & fact6 -> int1: そのぴやぴくLv.91は当たり易い; int1 & fact8 -> int2: そのぴやぴくLv.91は入り辛い; int2 & fact3 -> int3: そのぴやぴくLv.91は入り辛くて展開し易い; int3 & fact10 -> hypothesis; __PROVED__
fact2 & fact11 & fact6 -> int1: {C}{c}; int1 & fact8 -> int2: {D}{c}; int2 & fact3 -> int3: ({D}{c} & {E}{c}); int3 & fact10 -> hypothesis; __PROVED__