there is something such that if it does quiver it is not a goldbrick and is a contract.
sent1: if the bombazine quivers it is a kind of a goldbrick and it contracts. sent2: the rocker does not quiver but it does smite cattleman if it is a Banjul. sent3: something is not a goldbrick but a contract if it is a kind of a quiver. sent4: something does not smite housemate but it does smite repressor if it is limbic. sent5: there exists something such that if it quivers then it is not a goldbrick. sent6: the scallop is not a kind of a stridulation but it is not non-taxonomic if it contracts. sent7: if something deviates then it does not smite Eastertide and it is taxonomic. sent8: there is something such that if the fact that it is a kind of a guarani is right then it is not a pikestaff. sent9: if that the bombazine contracts is right then it is not a kind of a AMEX and is Hugoesque. sent10: the bombazine is a kind of a contract if it is a quiver.
sent3 -> int1: if the bombazine is a kind of a quiver then it is not a goldbrick and contracts.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does quiver it is not a goldbrick and is a contract. ; $context$ = sent1: if the bombazine quivers it is a kind of a goldbrick and it contracts. sent2: the rocker does not quiver but it does smite cattleman if it is a Banjul. sent3: something is not a goldbrick but a contract if it is a kind of a quiver. sent4: something does not smite housemate but it does smite repressor if it is limbic. sent5: there exists something such that if it quivers then it is not a goldbrick. sent6: the scallop is not a kind of a stridulation but it is not non-taxonomic if it contracts. sent7: if something deviates then it does not smite Eastertide and it is taxonomic. sent8: there is something such that if the fact that it is a kind of a guarani is right then it is not a pikestaff. sent9: if that the bombazine contracts is right then it is not a kind of a AMEX and is Hugoesque. sent10: the bombazine is a kind of a contract if it is a quiver. ; $proof$ = 
sent3 -> int1: if the bombazine is a kind of a quiver then it is not a goldbrick and contracts.; int1 -> hypothesis; __PROVED__