that something is an allspice and it does bind private does not hold.
sent1: if that something is not a kind of a fingerprint and does not corrode is wrong that it binds private is correct. sent2: if there is something such that that it is a yacht and it is not polyhedral is wrong then the aeschynanthus does not corrode. sent3: that the private is Bahai thing that does not bind Qum is false. sent4: there exists something such that that it yachts and is not polyhedral is false. sent5: something is questionable if it is not a kind of a Bahai. sent6: the fact that the private does not fingerprint and does not corrode does not hold if the aeschynanthus does not corrode. sent7: the fact that the private is not a thimble and does not bind Qum does not hold if the aeschynanthus corrodes. sent8: if that the fact that the private is Bahai but it does not bind Qum is not right is not incorrect then it is not a Bahai. sent9: if something is not a Bahai then it is a kind of an allspice that is questionable. sent10: the fact that the private does not fingerprint but it does corrode is wrong. sent11: something that does not pique J is a novelist. sent12: the fact that the aeschynanthus does not bind Qum and does not corrode does not hold. sent13: that the private is not non-basal and does not pique J is not right.
sent4 & sent2 -> int1: the aeschynanthus does not corrode.; int1 & sent6 -> int2: the fact that the private is not a fingerprint and it does not corrode is incorrect.; sent1 -> int3: if that the private is not a fingerprint and it does not corrode does not hold then the fact that it does not bind private is incorrect.; int2 & int3 -> int4: the private does bind private.; sent9 -> int5: if the private is not a kind of a Bahai then it is an allspice and it is questionable.; sent8 & sent3 -> int6: the private is not a Bahai.; int5 & int6 -> int7: the private is an allspice and it is questionable.; int7 -> int8: the private is an allspice.; int4 & int8 -> int9: the private is an allspice and it does bind private.; int9 -> hypothesis;
the fact that the private is not a thimble and it does not bind Qum is incorrect.
$hypothesis$ = that something is an allspice and it does bind private does not hold. ; $context$ = sent1: if that something is not a kind of a fingerprint and does not corrode is wrong that it binds private is correct. sent2: if there is something such that that it is a yacht and it is not polyhedral is wrong then the aeschynanthus does not corrode. sent3: that the private is Bahai thing that does not bind Qum is false. sent4: there exists something such that that it yachts and is not polyhedral is false. sent5: something is questionable if it is not a kind of a Bahai. sent6: the fact that the private does not fingerprint and does not corrode does not hold if the aeschynanthus does not corrode. sent7: the fact that the private is not a thimble and does not bind Qum does not hold if the aeschynanthus corrodes. sent8: if that the fact that the private is Bahai but it does not bind Qum is not right is not incorrect then it is not a Bahai. sent9: if something is not a Bahai then it is a kind of an allspice that is questionable. sent10: the fact that the private does not fingerprint but it does corrode is wrong. sent11: something that does not pique J is a novelist. sent12: the fact that the aeschynanthus does not bind Qum and does not corrode does not hold. sent13: that the private is not non-basal and does not pique J is not right. ; $proof$ = 
sent4 & sent2 -> int1: the aeschynanthus does not corrode.; int1 & sent6 -> int2: the fact that the private is not a fingerprint and it does not corrode is incorrect.; sent1 -> int3: if that the private is not a fingerprint and it does not corrode does not hold then the fact that it does not bind private is incorrect.; int2 & int3 -> int4: the private does bind private.; sent9 -> int5: if the private is not a kind of a Bahai then it is an allspice and it is questionable.; sent8 & sent3 -> int6: the private is not a Bahai.; int5 & int6 -> int7: the private is an allspice and it is questionable.; int7 -> int8: the private is an allspice.; int4 & int8 -> int9: the private is an allspice and it does bind private.; int9 -> hypothesis; __DISPROVED__