the imago is a kind of an outboard.
sent1: the imago is cannibalistic. sent2: a non-Caroline thing is an outboard. sent3: there are adiabatic things. sent4: the imago is not Caroline if something is adiabatic.
sent3 & sent4 -> int1: the imago is not Caroline.; sent2 -> int2: the imago is an outboard if it is not Caroline.; int1 & int2 -> hypothesis;
$hypothesis$ = the imago is a kind of an outboard. ; $context$ = sent1: the imago is cannibalistic. sent2: a non-Caroline thing is an outboard. sent3: there are adiabatic things. sent4: the imago is not Caroline if something is adiabatic. ; $proof$ = 
sent3 & sent4 -> int1: the imago is not Caroline.; sent2 -> int2: the imago is an outboard if it is not Caroline.; int1 & int2 -> hypothesis; __PROVED__