there is something such that if it does not settle Hebraist then it is angiomatous.
sent1: there exists something such that if it is not a kind of a matchboard then it is a Filoviridae. sent2: if the trajectory does not settle Hebraist then that it is angiomatous is not false. sent3: the trajectory is not non-angiomatous if it settles Hebraist. sent4: there exists something such that if it settles Hebraist it is angiomatous. sent5: something does number if it is not a kind of a send-off.
sent2 -> hypothesis;
the puppy is a kind of a numbers if it is not a send-off.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it does not settle Hebraist then it is angiomatous. ; $context$ = sent1: there exists something such that if it is not a kind of a matchboard then it is a Filoviridae. sent2: if the trajectory does not settle Hebraist then that it is angiomatous is not false. sent3: the trajectory is not non-angiomatous if it settles Hebraist. sent4: there exists something such that if it settles Hebraist it is angiomatous. sent5: something does number if it is not a kind of a send-off. ; $proof$ = 
sent2 -> hypothesis; __PROVED__