the goosefoot is a autoantibody.
sent1: the mortician is calceolate and it jackets paleogeography. sent2: everything is a aconite. sent3: the goosefoot is a autoantibody if the mortician does jacket paleogeography.
sent1 -> int1: the mortician does jacket paleogeography.; sent3 & int1 -> hypothesis;
the goosefoot is not a autoantibody.
sent2 -> int2: the Nesselrode is a aconite.;
$hypothesis$ = the goosefoot is a autoantibody. ; $context$ = sent1: the mortician is calceolate and it jackets paleogeography. sent2: everything is a aconite. sent3: the goosefoot is a autoantibody if the mortician does jacket paleogeography. ; $proof$ = 
sent1 -> int1: the mortician does jacket paleogeography.; sent3 & int1 -> hypothesis; __PROVED__