あのみいみちゅLv.58は息苦しくない
fact1: もしそのぷいぷやLv.27が懐っこいならあのみいみちゅLv.58はぶっとい fact2: そのぷいぷやLv.27は懐っこいかまたは判別し難いかもしくは両方である fact3: 仮にそのぷいぷやLv.27が判別し難いならばあのみいみちゅLv.58はぶっとい fact4: もしあのみいみちゅLv.58が毛深くてぶっといとすればあのみいみちゅLv.58は息苦しくない fact5: あのみいみちゅLv.58は毛深い
fact2 & fact1 & fact3 -> int1: あのみいみちゅLv.58はぶっとい; int1 & fact5 -> int2: あのみいみちゅLv.58は毛深くて加えてぶっとい; int2 & fact4 -> hypothesis;
fact2 & fact1 & fact3 -> int1: {C}{c}; int1 & fact5 -> int2: ({D}{c} & {C}{c}); int2 & fact4 -> hypothesis;
$facts$ = fact1: もしそのぷいぷやLv.27が懐っこいならあのみいみちゅLv.58はぶっとい fact2: そのぷいぷやLv.27は懐っこいかまたは判別し難いかもしくは両方である fact3: 仮にそのぷいぷやLv.27が判別し難いならばあのみいみちゅLv.58はぶっとい fact4: もしあのみいみちゅLv.58が毛深くてぶっといとすればあのみいみちゅLv.58は息苦しくない fact5: あのみいみちゅLv.58は毛深い ; $hypothesis$ = あのみいみちゅLv.58は息苦しくない ; $proof$ = 
fact2 & fact1 & fact3 -> int1: あのみいみちゅLv.58はぶっとい; int1 & fact5 -> int2: あのみいみちゅLv.58は毛深くて加えてぶっとい; int2 & fact4 -> hypothesis; __PROVED__
fact2 & fact1 & fact3 -> int1: {C}{c}; int1 & fact5 -> int2: ({D}{c} & {C}{c}); int2 & fact4 -> hypothesis; __PROVED__