このみにみちゅLv.11は格好悪くて気高し
fact1: このみにみちゅLv.11は気高し fact2: もしこのみにみちゅLv.11がきな臭いとしたらこのみにみちゅLv.11は格好悪い fact3: このみにみちゅLv.11は握り易くてきな臭い
fact3 -> int1: このみにみちゅLv.11はきな臭い; int1 & fact2 -> int2: このみにみちゅLv.11は格好悪い; int2 & fact1 -> hypothesis;
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis;
$facts$ = fact1: このみにみちゅLv.11は気高し fact2: もしこのみにみちゅLv.11がきな臭いとしたらこのみにみちゅLv.11は格好悪い fact3: このみにみちゅLv.11は握り易くてきな臭い ; $hypothesis$ = このみにみちゅLv.11は格好悪くて気高し ; $proof$ = 
fact3 -> int1: このみにみちゅLv.11はきな臭い; int1 & fact2 -> int2: このみにみちゅLv.11は格好悪い; int2 & fact1 -> hypothesis; __PROVED__
fact3 -> int1: {B}{a}; int1 & fact2 -> int2: {C}{a}; int2 & fact1 -> hypothesis; __PROVED__