there exists something such that if that it is not a kind of a ectomorph and reigns margate does not hold it is an astringent.
sent1: the architecture is a palatine if the fact that it is not a interrogative and it reigns margate is not right. sent2: there is something such that if the fact that it is priestly a wrongdoer is false it is a kind of a Scipio. sent3: there is something such that if that it does not Latinize and does stale narco-state does not hold then it is derivational. sent4: there exists something such that if it is not a ectomorph and does reign margate it is an astringent. sent5: there exists something such that if that it is not an artiodactyl and it is possessive does not hold it is a spirit. sent6: there is something such that if that it is both not a wrongdoer and a microbiologist is not correct it is a kind of a Vitharr. sent7: if the fact that the architecture does not reign margate is not incorrect it is astringent. sent8: there exists something such that if it is a ectomorph then it is astringent. sent9: if that the architecture is not a ectomorph and does reign margate is wrong then the fact that it is a kind of an astringent is not false. sent10: something is Australasian if the fact that it does not smash makomako and is a soporific is incorrect. sent11: if the fact that the linemen is not a sense but it is acidotic is not correct then it is a caddisworm. sent12: if that the architecture is a ectomorph and it does reign margate is not right then it is astringent. sent13: the architecture is a kind of an astringent if the fact that it is not a ectomorph and it does reign margate is not wrong. sent14: there exists something such that if that it is a kind of a ectomorph and it reigns margate is not right it is astringent. sent15: there is something such that if it does not reign margate then it is a kind of an astringent.
sent9 -> hypothesis;
there is something such that if the fact that it does not smash makomako and it is a kind of a soporific does not hold then it is Australasian.
sent10 -> int1: the Toltec is not non-Australasian if the fact that it does not smash makomako and it is a soporific is incorrect.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if that it is not a kind of a ectomorph and reigns margate does not hold it is an astringent. ; $context$ = sent1: the architecture is a palatine if the fact that it is not a interrogative and it reigns margate is not right. sent2: there is something such that if the fact that it is priestly a wrongdoer is false it is a kind of a Scipio. sent3: there is something such that if that it does not Latinize and does stale narco-state does not hold then it is derivational. sent4: there exists something such that if it is not a ectomorph and does reign margate it is an astringent. sent5: there exists something such that if that it is not an artiodactyl and it is possessive does not hold it is a spirit. sent6: there is something such that if that it is both not a wrongdoer and a microbiologist is not correct it is a kind of a Vitharr. sent7: if the fact that the architecture does not reign margate is not incorrect it is astringent. sent8: there exists something such that if it is a ectomorph then it is astringent. sent9: if that the architecture is not a ectomorph and does reign margate is wrong then the fact that it is a kind of an astringent is not false. sent10: something is Australasian if the fact that it does not smash makomako and is a soporific is incorrect. sent11: if the fact that the linemen is not a sense but it is acidotic is not correct then it is a caddisworm. sent12: if that the architecture is a ectomorph and it does reign margate is not right then it is astringent. sent13: the architecture is a kind of an astringent if the fact that it is not a ectomorph and it does reign margate is not wrong. sent14: there exists something such that if that it is a kind of a ectomorph and it reigns margate is not right it is astringent. sent15: there is something such that if it does not reign margate then it is a kind of an astringent. ; $proof$ = 
sent9 -> hypothesis; __PROVED__