there is something such that the fact that it does strangulate and is not prefectural does not hold.
sent1: the brogan is prefectural or it does strangulate or both. sent2: the pansy is a kind of a cardinalship. sent3: the pansy corduroys if the Boniface is a cardinalship. sent4: the brogan is a cardinalship. sent5: if something shivers Piper then that it is a enumerator is correct. sent6: that if that the pansy is not a coat and it is not Pavlovian is wrong the Boniface does shiver Piper hold. sent7: that the pansy is not a coat and it is not Pavlovian does not hold if it is a kind of a cardinalship. sent8: if the Boniface is a enumerator then the brogan is tensile. sent9: the Boniface is a cardinalship if there is something such that it shivers Piper. sent10: that the pansy is both not a coat and Pavlovian is incorrect. sent11: the fact that the brogan is both not a enumerator and not tensile is not right. sent12: the fact that the Boniface shivers Piper is not wrong if the pansy is not non-Pavlovian. sent13: that the methacholine does strangulate and it is prefectural is not correct.
sent7 & sent2 -> int1: the fact that the pansy is not a coat and it is not Pavlovian does not hold.; int1 & sent6 -> int2: the Boniface does shiver Piper.; sent5 -> int3: the fact that the Boniface is a kind of a enumerator is true if it shivers Piper.; int2 & int3 -> int4: the Boniface is a enumerator.; int4 & sent8 -> int5: the brogan is tensile.; int5 -> int6: there are tensile things.;
there exists something such that it is a kind of a corduroy.
$hypothesis$ = there is something such that the fact that it does strangulate and is not prefectural does not hold. ; $context$ = sent1: the brogan is prefectural or it does strangulate or both. sent2: the pansy is a kind of a cardinalship. sent3: the pansy corduroys if the Boniface is a cardinalship. sent4: the brogan is a cardinalship. sent5: if something shivers Piper then that it is a enumerator is correct. sent6: that if that the pansy is not a coat and it is not Pavlovian is wrong the Boniface does shiver Piper hold. sent7: that the pansy is not a coat and it is not Pavlovian does not hold if it is a kind of a cardinalship. sent8: if the Boniface is a enumerator then the brogan is tensile. sent9: the Boniface is a cardinalship if there is something such that it shivers Piper. sent10: that the pansy is both not a coat and Pavlovian is incorrect. sent11: the fact that the brogan is both not a enumerator and not tensile is not right. sent12: the fact that the Boniface shivers Piper is not wrong if the pansy is not non-Pavlovian. sent13: that the methacholine does strangulate and it is prefectural is not correct. ; $proof$ = 
sent7 & sent2 -> int1: the fact that the pansy is not a coat and it is not Pavlovian does not hold.; int1 & sent6 -> int2: the Boniface does shiver Piper.; sent5 -> int3: the fact that the Boniface is a kind of a enumerator is true if it shivers Piper.; int2 & int3 -> int4: the Boniface is a enumerator.; int4 & sent8 -> int5: the brogan is tensile.; int5 -> int6: there are tensile things.; __UNKNOWN__