there is something such that if that it is cercarial is true it does not wrestle dissolubility and it is not a kind of a moosewood.
sent1: there exists something such that if it wrestles Passiflora it is not obligated. sent2: that there exists something such that if it does stint Byzantine the fact that it is not lineal is correct hold. sent3: something does not wrestle dissolubility and is not a moosewood if it is not non-cercarial. sent4: if something is automotive it does not quintuple. sent5: if the rhizome scotches that it is not a xeroradiography is correct. sent6: if that the Byzantine pipes is not incorrect then it does not wrestle dissolubility. sent7: there exists something such that if it is a bang it is not a chinked.
sent3 -> int1: if the rhizome is cercarial then that it does not wrestle dissolubility and it is not a moosewood hold.; int1 -> hypothesis;
$hypothesis$ = there is something such that if that it is cercarial is true it does not wrestle dissolubility and it is not a kind of a moosewood. ; $context$ = sent1: there exists something such that if it wrestles Passiflora it is not obligated. sent2: that there exists something such that if it does stint Byzantine the fact that it is not lineal is correct hold. sent3: something does not wrestle dissolubility and is not a moosewood if it is not non-cercarial. sent4: if something is automotive it does not quintuple. sent5: if the rhizome scotches that it is not a xeroradiography is correct. sent6: if that the Byzantine pipes is not incorrect then it does not wrestle dissolubility. sent7: there exists something such that if it is a bang it is not a chinked. ; $proof$ = 
sent3 -> int1: if the rhizome is cercarial then that it does not wrestle dissolubility and it is not a moosewood hold.; int1 -> hypothesis; __PROVED__