the consolidation is a kind of a south and is not a Trumbull.
sent1: if there is something such that it does not post stitchwort the consolidation is a south. sent2: there is something such that the fact that it posts stitchwort and it is a Latin is correct. sent3: something that is a kind of a susurration does not think gastrostomy. sent4: the consolidation either is a kind of a Trumbull or does not think gastrostomy or both. sent5: there exists something such that that it does post stitchwort and it is Latin is false. sent6: the laelia is Mediterranean if that the philistine does not card laelia but it is porphyritic is not true. sent7: if something that is not a susurration does not think gastrostomy then it is non-commensal. sent8: if something does not think gastrostomy the fact that it is a kind of a Trumbull and it is not commensal is not correct. sent9: the consolidation is not a kind of a Trumbull if it is not a Trumbull and/or does not think gastrostomy. sent10: the fact that the consolidation is inoperable is right. sent11: the consolidation is not a Trumbull and/or does not think gastrostomy. sent12: the blackcock thinks gastrostomy. sent13: something is not a susurration and does not think gastrostomy if it is a Mediterranean. sent14: there exists something such that the fact that it does not frighten Kali and does subvocalize is wrong. sent15: the hoe cards laelia if there exists something such that the fact that it does not frighten Kali and subvocalizes does not hold. sent16: the Kali is not a kind of a south if the fact that the consolidation is a Trumbull and not commensal is not correct.
sent9 & sent11 -> int1: the consolidation is not a Trumbull.;
that the consolidation is a south that is not a Trumbull does not hold.
sent7 -> int2: the laelia is not a commensal if it is not a susurration and it does not think gastrostomy.; sent13 -> int3: the laelia is not a kind of a susurration and it does not think gastrostomy if it is a Mediterranean.; sent14 & sent15 -> int4: the hoe cards laelia.; int4 -> int5: there exists something such that it does card laelia.;
$hypothesis$ = the consolidation is a kind of a south and is not a Trumbull. ; $context$ = sent1: if there is something such that it does not post stitchwort the consolidation is a south. sent2: there is something such that the fact that it posts stitchwort and it is a Latin is correct. sent3: something that is a kind of a susurration does not think gastrostomy. sent4: the consolidation either is a kind of a Trumbull or does not think gastrostomy or both. sent5: there exists something such that that it does post stitchwort and it is Latin is false. sent6: the laelia is Mediterranean if that the philistine does not card laelia but it is porphyritic is not true. sent7: if something that is not a susurration does not think gastrostomy then it is non-commensal. sent8: if something does not think gastrostomy the fact that it is a kind of a Trumbull and it is not commensal is not correct. sent9: the consolidation is not a kind of a Trumbull if it is not a Trumbull and/or does not think gastrostomy. sent10: the fact that the consolidation is inoperable is right. sent11: the consolidation is not a Trumbull and/or does not think gastrostomy. sent12: the blackcock thinks gastrostomy. sent13: something is not a susurration and does not think gastrostomy if it is a Mediterranean. sent14: there exists something such that the fact that it does not frighten Kali and does subvocalize is wrong. sent15: the hoe cards laelia if there exists something such that the fact that it does not frighten Kali and subvocalizes does not hold. sent16: the Kali is not a kind of a south if the fact that the consolidation is a Trumbull and not commensal is not correct. ; $proof$ = 
sent9 & sent11 -> int1: the consolidation is not a Trumbull.; __UNKNOWN__