あのまにまちゅLv.4は遣る瀬無い
fact1: 「あのもにょもよLv.79は弾き易い」ということは成り立つ fact2: あのもにょもよLv.79は弾き易いしまた調べ為さる fact3: あのもにょもよLv.79が調べ為さるとしたらあのまにまちゅLv.4は遣る瀬無い
fact2 -> int1: あのもにょもよLv.79は調べ為さる; int1 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis;
$facts$ = fact1: 「あのもにょもよLv.79は弾き易い」ということは成り立つ fact2: あのもにょもよLv.79は弾き易いしまた調べ為さる fact3: あのもにょもよLv.79が調べ為さるとしたらあのまにまちゅLv.4は遣る瀬無い ; $hypothesis$ = あのまにまちゅLv.4は遣る瀬無い ; $proof$ = 
fact2 -> int1: あのもにょもよLv.79は調べ為さる; int1 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact3 -> hypothesis; __PROVED__