there exists something such that if it is injectable and is not a valuation then it is not succinic.
sent1: there exists something such that if it is chitinous and it is not a Owensboro it is not a Slav. sent2: there exists something such that if it is injectable and it is a valuation then it is not succinic. sent3: there is something such that if it is an airs and is not a kind of an aesthetics then the fact that it is not an aerospace hold. sent4: the floatplane is not injectable if it is a cannibal and is intense. sent5: the Cleome is not a valuation if it does behold chromophore and it is not ipsilateral. sent6: there exists something such that if it is a parvovirus and it does not negotiate Romanesque it does behold Cardiff. sent7: there exists something such that if it does report abeyance and is not antecubital then it does not negotiate viability. sent8: there exists something such that if it does report Cleome and it is not an abdication then the fact that it is not an offer hold. sent9: there exists something such that if it is both a towhead and not infelicitous it does not negotiate floatplane. sent10: the floatplane is succinic if it is both injectable and not a valuation. sent11: if the floatplane is a valuation but it is not adrenocortical then it is not a kind of a carbonyl. sent12: the floatplane is not succinic if it is injectable and it is a kind of a valuation. sent13: there exists something such that if it beholds Richmond and it is polarographic then it is not an irradiation. sent14: there exists something such that if it is lively thing that does not believe stay then it is not intense. sent15: there exists something such that if it is injectable and not a valuation then it is succinic. sent16: the floatplane is not succinic if it is injectable and is not a valuation. sent17: there is something such that if it is both a Trevithick and not subordinating then it is not a ecoterrorism. sent18: there exists something such that if it is a kind of a unadaptability and it does not report kiloliter then it is not a superior. sent19: something is not a romantic if it is both a valuation and not infelicitous. sent20: if the cedarbird does report nastiness but it does not believe Romberg it is non-succinic.
sent16 -> hypothesis;
the floatplane is not a romantic if that it is a valuation and it is not infelicitous is true.
sent19 -> hypothesis;
$hypothesis$ = there exists something such that if it is injectable and is not a valuation then it is not succinic. ; $context$ = sent1: there exists something such that if it is chitinous and it is not a Owensboro it is not a Slav. sent2: there exists something such that if it is injectable and it is a valuation then it is not succinic. sent3: there is something such that if it is an airs and is not a kind of an aesthetics then the fact that it is not an aerospace hold. sent4: the floatplane is not injectable if it is a cannibal and is intense. sent5: the Cleome is not a valuation if it does behold chromophore and it is not ipsilateral. sent6: there exists something such that if it is a parvovirus and it does not negotiate Romanesque it does behold Cardiff. sent7: there exists something such that if it does report abeyance and is not antecubital then it does not negotiate viability. sent8: there exists something such that if it does report Cleome and it is not an abdication then the fact that it is not an offer hold. sent9: there exists something such that if it is both a towhead and not infelicitous it does not negotiate floatplane. sent10: the floatplane is succinic if it is both injectable and not a valuation. sent11: if the floatplane is a valuation but it is not adrenocortical then it is not a kind of a carbonyl. sent12: the floatplane is not succinic if it is injectable and it is a kind of a valuation. sent13: there exists something such that if it beholds Richmond and it is polarographic then it is not an irradiation. sent14: there exists something such that if it is lively thing that does not believe stay then it is not intense. sent15: there exists something such that if it is injectable and not a valuation then it is succinic. sent16: the floatplane is not succinic if it is injectable and is not a valuation. sent17: there is something such that if it is both a Trevithick and not subordinating then it is not a ecoterrorism. sent18: there exists something such that if it is a kind of a unadaptability and it does not report kiloliter then it is not a superior. sent19: something is not a romantic if it is both a valuation and not infelicitous. sent20: if the cedarbird does report nastiness but it does not believe Romberg it is non-succinic. ; $proof$ = 
sent16 -> hypothesis; __PROVED__