there is something such that if it is postmillennial and is not a kind of a quarters it is a kind of a fundamentalist.
sent1: there exists something such that if it is postmillennial and it quarters it is a fundamentalist. sent2: there is something such that if it is a queue and it is not a sea-duty it does oppose shaman. sent3: if the virologist is postmillennial and it is a quarters it is a fundamentalist. sent4: if something is hand-held but it is not an excerpt then it does upload. sent5: there is something such that if it is a kind of a Haywood and is not non-polemoniaceous then it does broker. sent6: the virologist is fundamentalist if it is postmillennial and it is not a quarters. sent7: there is something such that if it is cruciferous and is not Luxembourgian it accords anapsid. sent8: something is reliable if it is unfaithful and it is not a macroeconomist. sent9: there exists something such that if it hashes sculptress and it does not hash toiletry it is a Diegueno. sent10: there is something such that if it does hash Sivan and it does hash Halocarpus it contours. sent11: there is something such that if it is professorial and it does not confederate farming then it hashes Byrd.
sent6 -> hypothesis;
there exists something such that if it is unfaithful and it is not a macroeconomist then it is reliable.
sent8 -> int1: if the bombardon is unfaithful and is not a kind of a macroeconomist it is reliable.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is postmillennial and is not a kind of a quarters it is a kind of a fundamentalist. ; $context$ = sent1: there exists something such that if it is postmillennial and it quarters it is a fundamentalist. sent2: there is something such that if it is a queue and it is not a sea-duty it does oppose shaman. sent3: if the virologist is postmillennial and it is a quarters it is a fundamentalist. sent4: if something is hand-held but it is not an excerpt then it does upload. sent5: there is something such that if it is a kind of a Haywood and is not non-polemoniaceous then it does broker. sent6: the virologist is fundamentalist if it is postmillennial and it is not a quarters. sent7: there is something such that if it is cruciferous and is not Luxembourgian it accords anapsid. sent8: something is reliable if it is unfaithful and it is not a macroeconomist. sent9: there exists something such that if it hashes sculptress and it does not hash toiletry it is a Diegueno. sent10: there is something such that if it does hash Sivan and it does hash Halocarpus it contours. sent11: there is something such that if it is professorial and it does not confederate farming then it hashes Byrd. ; $proof$ = 
sent6 -> hypothesis; __PROVED__