あのもにもよLv.60は認め難くない
fact1: あのもにもよLv.60が直り難くてそれにそれが熱っぽいとするとそれは認め難くない fact2: そのぷなぷなLv.34がしどけないとするとあのもにもよLv.60は直り難い fact3: そのぷなぷなLv.34はしどけない fact4: あのもにもよLv.60は熱っぽい fact5: あのもにもよLv.60はしどけなくない
fact2 & fact3 -> int1: あのもにもよLv.60は直り難い; int1 & fact4 -> int2: あのもにもよLv.60は直り難いし加えて熱っぽい; int2 & fact1 -> hypothesis;
fact2 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis;
$facts$ = fact1: あのもにもよLv.60が直り難くてそれにそれが熱っぽいとするとそれは認め難くない fact2: そのぷなぷなLv.34がしどけないとするとあのもにもよLv.60は直り難い fact3: そのぷなぷなLv.34はしどけない fact4: あのもにもよLv.60は熱っぽい fact5: あのもにもよLv.60はしどけなくない ; $hypothesis$ = あのもにもよLv.60は認め難くない ; $proof$ = 
fact2 & fact3 -> int1: あのもにもよLv.60は直り難い; int1 & fact4 -> int2: あのもにもよLv.60は直り難いし加えて熱っぽい; int2 & fact1 -> hypothesis; __PROVED__
fact2 & fact3 -> int1: {B}{b}; int1 & fact4 -> int2: ({B}{b} & {C}{b}); int2 & fact1 -> hypothesis; __PROVED__