そのまえまわLv.58は幼けないし解け易い
fact1: このぷわぷちゅLv.64は憎くてさらにまう fact2: そのまえまわLv.58は解け易い fact3: このぷわぷちゅLv.64がまえばそのまえまわLv.58は幼けない
fact1 -> int1: このぷわぷちゅLv.64はまう; int1 & fact3 -> int2: そのまえまわLv.58は幼けない; int2 & fact2 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このぷわぷちゅLv.64は憎くてさらにまう fact2: そのまえまわLv.58は解け易い fact3: このぷわぷちゅLv.64がまえばそのまえまわLv.58は幼けない ; $hypothesis$ = そのまえまわLv.58は幼けないし解け易い ; $proof$ = 
fact1 -> int1: このぷわぷちゅLv.64はまう; int1 & fact3 -> int2: そのまえまわLv.58は幼けない; int2 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact3 -> int2: {C}{b}; int2 & fact2 -> hypothesis; __PROVED__