このものもにLv.98は小狡いしそれに益無し
fact1: そのみのみちゅLv.77は満遍無くて読み易い fact2: 「このものもにLv.98は益無し」ということは成り立つ fact3: そのみのみちゅLv.77が満遍無いとすればこのものもにLv.98は小狡い
fact1 -> int1: そのみのみちゅLv.77は満遍無い; int1 & fact3 -> int2: このものもにLv.98は小狡い; int2 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: そのみのみちゅLv.77は満遍無くて読み易い fact2: 「このものもにLv.98は益無し」ということは成り立つ fact3: そのみのみちゅLv.77が満遍無いとすればこのものもにLv.98は小狡い ; $hypothesis$ = このものもにLv.98は小狡いしそれに益無し ; $proof$ = 
fact1 -> int1: そのみのみちゅLv.77は満遍無い; int1 & fact3 -> int2: このものもにLv.98は小狡い; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__