there is something such that if it is not .45-caliber then it is a ambusher.
sent1: there is something such that if it is .45-caliber then it is a ambusher. sent2: the mantelet is a ambusher if it is .45-caliber. sent3: something is saponaceous if it is not a reformer. sent4: there exists something such that if it is not a Cassirer then it is unsteady. sent5: the mantelet is a ambusher if it is not .45-caliber.
sent5 -> hypothesis;
there is something such that if it is not a reformer it is saponaceous.
sent3 -> int1: if the aecium is not a reformer then it is saponaceous.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not .45-caliber then it is a ambusher. ; $context$ = sent1: there is something such that if it is .45-caliber then it is a ambusher. sent2: the mantelet is a ambusher if it is .45-caliber. sent3: something is saponaceous if it is not a reformer. sent4: there exists something such that if it is not a Cassirer then it is unsteady. sent5: the mantelet is a ambusher if it is not .45-caliber. ; $proof$ = 
sent5 -> hypothesis; __PROVED__