there is something such that if it is a Spartan the fact that it is a kind of a Carroll and it is not a supernumerary is not right.
sent1: there is something such that if it is a kind of a Spartan then that it is a Carroll and it is a supernumerary does not hold. sent2: that something does twine ipsedixitism and is not a laptop does not hold if that it is unhealthful is right. sent3: there exists something such that if it is a kind of a wherewithal then that it is a call-back and it does not learn does not hold. sent4: if something is a kind of a flooring that it is both a ABM and not sanitary is wrong. sent5: there is something such that if it is undatable the fact that it is a kind of a no-goal and it is not a Capital is not right. sent6: that the fact that the aquaplane is a Carroll but it does not saturate is not right is not wrong if it is bryophytic. sent7: there exists something such that if it is a kind of a Spartan it is a kind of a Carroll and it is not a kind of a supernumerary. sent8: there exists something such that if it twines taro then that it is powerful and is not nonabsorbent does not hold. sent9: if that something is psychotherapeutic is true the fact that that it is a kind of perceptive thing that is not a kind of a subordinate is not wrong is not true. sent10: if something is Spartan that it is a Carroll and it is a supernumerary does not hold. sent11: if the SHAPE bypasses spouse that the fact that it is a kind of a Spartan that is not a recipient is right does not hold. sent12: that the aquaplane is a Carroll that is not the supernumerary if the aquaplane is a kind of a Spartan hold. sent13: if the aquaplane is a Spartan then the fact that it is both a Carroll and a supernumerary is not correct. sent14: there exists something such that if it does facilitate exile that it is a kind of a recount that does not bypass bladder does not hold. sent15: if something is a bribery the fact that it does twine Pengo and is not Spartan is not right. sent16: the fact that something is a Carroll but it is not a supernumerary is not true if it is a Spartan. sent17: something is a kind of a Carroll that is not a kind of a supernumerary if it is a kind of a Spartan. sent18: there exists something such that if it is carvel-built then that it is a kind of a care that is not a laptop is incorrect. sent19: there exists something such that if that it is longitudinal hold the fact that it does brew and it does not bark paleoethnography is wrong.
sent16 -> int1: that the aquaplane is a Carroll but it is not a kind of a supernumerary is incorrect if that it is a Spartan is correct.; int1 -> hypothesis;
that the aquaplane does twine Pengo but it is not a kind of a Spartan is false if it is a bribery.
sent15 -> hypothesis;
$hypothesis$ = there is something such that if it is a Spartan the fact that it is a kind of a Carroll and it is not a supernumerary is not right. ; $context$ = sent1: there is something such that if it is a kind of a Spartan then that it is a Carroll and it is a supernumerary does not hold. sent2: that something does twine ipsedixitism and is not a laptop does not hold if that it is unhealthful is right. sent3: there exists something such that if it is a kind of a wherewithal then that it is a call-back and it does not learn does not hold. sent4: if something is a kind of a flooring that it is both a ABM and not sanitary is wrong. sent5: there is something such that if it is undatable the fact that it is a kind of a no-goal and it is not a Capital is not right. sent6: that the fact that the aquaplane is a Carroll but it does not saturate is not right is not wrong if it is bryophytic. sent7: there exists something such that if it is a kind of a Spartan it is a kind of a Carroll and it is not a kind of a supernumerary. sent8: there exists something such that if it twines taro then that it is powerful and is not nonabsorbent does not hold. sent9: if that something is psychotherapeutic is true the fact that that it is a kind of perceptive thing that is not a kind of a subordinate is not wrong is not true. sent10: if something is Spartan that it is a Carroll and it is a supernumerary does not hold. sent11: if the SHAPE bypasses spouse that the fact that it is a kind of a Spartan that is not a recipient is right does not hold. sent12: that the aquaplane is a Carroll that is not the supernumerary if the aquaplane is a kind of a Spartan hold. sent13: if the aquaplane is a Spartan then the fact that it is both a Carroll and a supernumerary is not correct. sent14: there exists something such that if it does facilitate exile that it is a kind of a recount that does not bypass bladder does not hold. sent15: if something is a bribery the fact that it does twine Pengo and is not Spartan is not right. sent16: the fact that something is a Carroll but it is not a supernumerary is not true if it is a Spartan. sent17: something is a kind of a Carroll that is not a kind of a supernumerary if it is a kind of a Spartan. sent18: there exists something such that if it is carvel-built then that it is a kind of a care that is not a laptop is incorrect. sent19: there exists something such that if that it is longitudinal hold the fact that it does brew and it does not bark paleoethnography is wrong. ; $proof$ = 
sent16 -> int1: that the aquaplane is a Carroll but it is not a kind of a supernumerary is incorrect if that it is a Spartan is correct.; int1 -> hypothesis; __PROVED__