there is something such that if it is a bound and it is exacta then it does not jazz wine.
sent1: there is something such that if that it is a bound and it is exacta is true then the fact that it jazzes wine hold. sent2: if something that is untrustworthy is daisylike then it is not a bound. sent3: the thrombin is not a histaminase if it is both a bound and a cumulonimbus. sent4: if the lizard is a bound and is exacta that it does not jazz wine is correct. sent5: there is something such that if it is daisylike and it is a kind of a reciprocal it does not mystify 4WD.
sent4 -> hypothesis;
the oddity is not a bound if it is untrustworthy and it is daisylike.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if it is a bound and it is exacta then it does not jazz wine. ; $context$ = sent1: there is something such that if that it is a bound and it is exacta is true then the fact that it jazzes wine hold. sent2: if something that is untrustworthy is daisylike then it is not a bound. sent3: the thrombin is not a histaminase if it is both a bound and a cumulonimbus. sent4: if the lizard is a bound and is exacta that it does not jazz wine is correct. sent5: there is something such that if it is daisylike and it is a kind of a reciprocal it does not mystify 4WD. ; $proof$ = 
sent4 -> hypothesis; __PROVED__