あのもいもよLv.7は守り易い
fact1: 仮にあのみねみちゅLv.6が遣り直すとするとあのもいもよLv.7はみっともない fact2: あのみねみちゅLv.6が苦しいしその上遣り直す fact3: あのもいもよLv.7がみっともないとしたらあのもいもよLv.7は守り易い
fact2 -> int1: あのみねみちゅLv.6は遣り直す; int1 & fact1 -> int2: あのもいもよLv.7はみっともない; int2 & fact3 -> hypothesis;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
$facts$ = fact1: 仮にあのみねみちゅLv.6が遣り直すとするとあのもいもよLv.7はみっともない fact2: あのみねみちゅLv.6が苦しいしその上遣り直す fact3: あのもいもよLv.7がみっともないとしたらあのもいもよLv.7は守り易い ; $hypothesis$ = あのもいもよLv.7は守り易い ; $proof$ = 
fact2 -> int1: あのみねみちゅLv.6は遣り直す; int1 & fact1 -> int2: あのもいもよLv.7はみっともない; int2 & fact3 -> hypothesis; __PROVED__
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__