the carthorse turns ancestor.
sent1: the snow-in-summer does wear affrication and is a kind of a Hancock. sent2: if that the snow-in-summer is a Hancock is true the carthorse is a bicycle.
sent1 -> int1: the snow-in-summer is a kind of a Hancock.; int1 & sent2 -> int2: the carthorse is a kind of a bicycle.;
$hypothesis$ = the carthorse turns ancestor. ; $context$ = sent1: the snow-in-summer does wear affrication and is a kind of a Hancock. sent2: if that the snow-in-summer is a Hancock is true the carthorse is a bicycle. ; $proof$ = 
sent1 -> int1: the snow-in-summer is a kind of a Hancock.; int1 & sent2 -> int2: the carthorse is a kind of a bicycle.; __UNKNOWN__