there exists something such that if that it is non-exacta but not patristics does not hold it is a first.
sent1: if that the sild is not exacta but it is patristics is false it is a kind of a first. sent2: the sild is a kind of a first if that it is not exacta and it is not patristics is incorrect. sent3: if the fact that the obelion is both myocardial and not first does not hold then it is a jostle.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if that it is non-exacta but not patristics does not hold it is a first. ; $context$ = sent1: if that the sild is not exacta but it is patristics is false it is a kind of a first. sent2: the sild is a kind of a first if that it is not exacta and it is not patristics is incorrect. sent3: if the fact that the obelion is both myocardial and not first does not hold then it is a jostle. ; $proof$ = 
sent2 -> hypothesis; __PROVED__