there exists something such that if it is a red then it is a Borodin.
sent1: if the antitussive speaks wellhead it speaks aerology. sent2: if the fact that the fact that the Pippin sparges prize and it speaks wellhead hold is false then the fact that it is a kind of a red hold. sent3: something is not a kind of a amide if the fact that it sparges digression and is a name is false. sent4: the Pippin is not a dotard. sent5: the Pippin is a breadcrumb. sent6: the Pippin is unregenerate if it is a Borodin. sent7: the Pippin is a defamer if it speaks wellhead. sent8: if the fact that the caddisworm is both not non-fungoid and a header is false it is not a red. sent9: if that that something sparges prize and it speaks wellhead is not wrong is wrong it is not a red. sent10: the Pippin is not a red if it does not sparge prize. sent11: something is not a red if it does not sparge prize. sent12: the Bible is not a kind of a escargot. sent13: that the Pippin is not non-onshore but a presbytery is false if it does not update overlay. sent14: something does not wattle if that it trisects macintosh and it is a slave does not hold. sent15: if that something sparges prize and it does speak wellhead is not right it is a kind of a red. sent16: the Sheraton does not sparge prize if the fact that it is a chapterhouse and does shorten is not true. sent17: the edging does not detoxify if the fact that it sparges prize and it is a breadcrumb is incorrect. sent18: the Pippin is paramagnetic. sent19: the tallow sparges prize. sent20: if the fact that something is both infantile and a presbytery is false it is not backward. sent21: the Pippin is tractable.
void -> assump2: Let's assume that the Pippin is not a Borodin.; sent9 -> int1: if that the Pippin sparges prize and it speaks wellhead is incorrect then it is not a red.;
$hypothesis$ = there exists something such that if it is a red then it is a Borodin. ; $context$ = sent1: if the antitussive speaks wellhead it speaks aerology. sent2: if the fact that the fact that the Pippin sparges prize and it speaks wellhead hold is false then the fact that it is a kind of a red hold. sent3: something is not a kind of a amide if the fact that it sparges digression and is a name is false. sent4: the Pippin is not a dotard. sent5: the Pippin is a breadcrumb. sent6: the Pippin is unregenerate if it is a Borodin. sent7: the Pippin is a defamer if it speaks wellhead. sent8: if the fact that the caddisworm is both not non-fungoid and a header is false it is not a red. sent9: if that that something sparges prize and it speaks wellhead is not wrong is wrong it is not a red. sent10: the Pippin is not a red if it does not sparge prize. sent11: something is not a red if it does not sparge prize. sent12: the Bible is not a kind of a escargot. sent13: that the Pippin is not non-onshore but a presbytery is false if it does not update overlay. sent14: something does not wattle if that it trisects macintosh and it is a slave does not hold. sent15: if that something sparges prize and it does speak wellhead is not right it is a kind of a red. sent16: the Sheraton does not sparge prize if the fact that it is a chapterhouse and does shorten is not true. sent17: the edging does not detoxify if the fact that it sparges prize and it is a breadcrumb is incorrect. sent18: the Pippin is paramagnetic. sent19: the tallow sparges prize. sent20: if the fact that something is both infantile and a presbytery is false it is not backward. sent21: the Pippin is tractable. ; $proof$ = 
void -> assump2: Let's assume that the Pippin is not a Borodin.; sent9 -> int1: if that the Pippin sparges prize and it speaks wellhead is incorrect then it is not a red.; __UNKNOWN__