there is something such that if the fact that it is not a kind of a notch and is a viscountcy does not hold then it is not a yawl.
sent1: if the fact that the potto does not begin but it is Protestant does not hold it is not a viscountcy. sent2: if that the litter is a kind of a notch and it is a viscountcy is not true it is not a yawl. sent3: there exists something such that if it is a kind of a notch it is not a yawl. sent4: if the fact that the litter is not a notch but it is a viscountcy does not hold it is a yawl. sent5: the agal is not a yawl if that it does not chain Psidium and does smock jampan is not right. sent6: if that the ferrimagnetism is not a yawl and dilapidates toolmaker is not right it is not a EHF. sent7: if that the litter is not a Seiurus and is a copycat does not hold then it is not a notch. sent8: that the litter is not a kind of a yawl hold if the fact that it does not notch and it is a viscountcy is not correct. sent9: if the fact that the litter is both not Masonic and unappealable is wrong it is not a yawl. sent10: there is something such that if it is both not a notch and a viscountcy it is not a yawl. sent11: something is not a hermit if that it is not incorporeal but an ox is not right. sent12: if the litter is not a kind of a viscountcy then it is not a yawl. sent13: something is not lawful if the fact that it is not synesthetic and it is a perfume is incorrect. sent14: there is something such that if that it is not a kind of a viscountcy hold then it is not a yawl. sent15: if the litter is not a notch and is a kind of a viscountcy then it is not a yawl. sent16: there is something such that if that the fact that it is a notch and is a viscountcy hold is wrong then it is not a yawl. sent17: the litter is not a kind of a viscountcy if that it is not informal and it is a petfood is wrong. sent18: there is something such that if the fact that the fact that it is not a notch but a viscountcy is correct does not hold it is a yawl.
sent8 -> hypothesis;
there is something such that if that it is not incorporeal and it is an ox does not hold then it is not a hermit.
sent11 -> int1: if that the jampan is corporeal but it is an ox is not correct then it is not a hermit.; int1 -> hypothesis;
$hypothesis$ = there is something such that if the fact that it is not a kind of a notch and is a viscountcy does not hold then it is not a yawl. ; $context$ = sent1: if the fact that the potto does not begin but it is Protestant does not hold it is not a viscountcy. sent2: if that the litter is a kind of a notch and it is a viscountcy is not true it is not a yawl. sent3: there exists something such that if it is a kind of a notch it is not a yawl. sent4: if the fact that the litter is not a notch but it is a viscountcy does not hold it is a yawl. sent5: the agal is not a yawl if that it does not chain Psidium and does smock jampan is not right. sent6: if that the ferrimagnetism is not a yawl and dilapidates toolmaker is not right it is not a EHF. sent7: if that the litter is not a Seiurus and is a copycat does not hold then it is not a notch. sent8: that the litter is not a kind of a yawl hold if the fact that it does not notch and it is a viscountcy is not correct. sent9: if the fact that the litter is both not Masonic and unappealable is wrong it is not a yawl. sent10: there is something such that if it is both not a notch and a viscountcy it is not a yawl. sent11: something is not a hermit if that it is not incorporeal but an ox is not right. sent12: if the litter is not a kind of a viscountcy then it is not a yawl. sent13: something is not lawful if the fact that it is not synesthetic and it is a perfume is incorrect. sent14: there is something such that if that it is not a kind of a viscountcy hold then it is not a yawl. sent15: if the litter is not a notch and is a kind of a viscountcy then it is not a yawl. sent16: there is something such that if that the fact that it is a notch and is a viscountcy hold is wrong then it is not a yawl. sent17: the litter is not a kind of a viscountcy if that it is not informal and it is a petfood is wrong. sent18: there is something such that if the fact that the fact that it is not a notch but a viscountcy is correct does not hold it is a yawl. ; $proof$ = 
sent8 -> hypothesis; __PROVED__