there exists something such that if it is a singleness then it is a vitalness and it is not a kind of a hassium.
sent1: if the oilrig is a singleness then that it is not a hassium is true. sent2: something is both a hassium and not modifiable if it utters lamb. sent3: if something is a kind of a singleness it is not a hassium. sent4: something is an injunction but it is not a kind of a biquadratic if it falsifies lamb. sent5: there is something such that if it is a singleness it is not a hassium. sent6: the oilrig dates Alosa and is not a rhinotomy if it is a hassium. sent7: if something is a singleness it is a vitalness that is not a hassium. sent8: if the fact that the effecter is a kind of a hassium is right then the fact that it is kinetic thing that is not a aculeus is true. sent9: if the peridotite is a convertible then it is a kind of a vitalness and it is not an autobiographer. sent10: there exists something such that if it sends then it is knee-length and does not date microbiologist. sent11: something is a kind of a Nijmegen but it is not a stovepipe if it is exponential. sent12: something is a kind of armorial thing that is not a pseudonym if it is a corncob. sent13: something is siliceous but it is not a aneurysm if it is a Innsbruck.
sent7 -> int1: the oilrig is a vitalness and is not a hassium if it is a kind of a singleness.; int1 -> hypothesis;
the oilrig is a kind of a hassium that is not modifiable if that it does utter lamb is not false.
sent2 -> hypothesis;
$hypothesis$ = there exists something such that if it is a singleness then it is a vitalness and it is not a kind of a hassium. ; $context$ = sent1: if the oilrig is a singleness then that it is not a hassium is true. sent2: something is both a hassium and not modifiable if it utters lamb. sent3: if something is a kind of a singleness it is not a hassium. sent4: something is an injunction but it is not a kind of a biquadratic if it falsifies lamb. sent5: there is something such that if it is a singleness it is not a hassium. sent6: the oilrig dates Alosa and is not a rhinotomy if it is a hassium. sent7: if something is a singleness it is a vitalness that is not a hassium. sent8: if the fact that the effecter is a kind of a hassium is right then the fact that it is kinetic thing that is not a aculeus is true. sent9: if the peridotite is a convertible then it is a kind of a vitalness and it is not an autobiographer. sent10: there exists something such that if it sends then it is knee-length and does not date microbiologist. sent11: something is a kind of a Nijmegen but it is not a stovepipe if it is exponential. sent12: something is a kind of armorial thing that is not a pseudonym if it is a corncob. sent13: something is siliceous but it is not a aneurysm if it is a Innsbruck. ; $proof$ = 
sent7 -> int1: the oilrig is a vitalness and is not a hassium if it is a kind of a singleness.; int1 -> hypothesis; __PROVED__