そのぽくぽにゅLv.65は毒々しくないが少なし
fact1: もし仮にこのぴちゅぴのLv.72が分離し易いとしたらこのみえみわLv.20は上がれない fact2: もしもこのみえみわLv.20が上がれないならばそのぽくぽにゅLv.65は少なしし加えて邪魔臭い fact3: そのぽくぽにゅLv.65は邪魔臭い fact4: このぴちゅぴのLv.72は分離し易い fact5: このみえみわLv.20は少なし fact6: そのぽくぽにゅLv.65は毒々しくない
fact4 & fact1 -> int1: このみえみわLv.20は上がれない; fact2 & int1 -> int2: そのぽくぽにゅLv.65は少なししさらに邪魔臭い; int2 -> int3: そのぽくぽにゅLv.65は少なし; int3 & fact6 -> hypothesis;
fact4 & fact1 -> int1: ¬{A}{a}; fact2 & int1 -> int2: ({AA}{b} & {AB}{b}); int2 -> int3: {AA}{b}; int3 & fact6 -> hypothesis;
$facts$ = fact1: もし仮にこのぴちゅぴのLv.72が分離し易いとしたらこのみえみわLv.20は上がれない fact2: もしもこのみえみわLv.20が上がれないならばそのぽくぽにゅLv.65は少なしし加えて邪魔臭い fact3: そのぽくぽにゅLv.65は邪魔臭い fact4: このぴちゅぴのLv.72は分離し易い fact5: このみえみわLv.20は少なし fact6: そのぽくぽにゅLv.65は毒々しくない ; $hypothesis$ = そのぽくぽにゅLv.65は毒々しくないが少なし ; $proof$ = 
fact4 & fact1 -> int1: このみえみわLv.20は上がれない; fact2 & int1 -> int2: そのぽくぽにゅLv.65は少なししさらに邪魔臭い; int2 -> int3: そのぽくぽにゅLv.65は少なし; int3 & fact6 -> hypothesis; __PROVED__
fact4 & fact1 -> int1: ¬{A}{a}; fact2 & int1 -> int2: ({AA}{b} & {AB}{b}); int2 -> int3: {AA}{b}; int3 & fact6 -> hypothesis; __PROVED__