there exists something such that if it does not crush that it is either a boxfish or a Michigan or both is not true.
sent1: there exists something such that if that it is not a kind of a Saigon is incorrect then that it is a Edam or housekeeps or both is not correct. sent2: if the puff is not a lammergeier it is a kind of a catalectic or it is a kind of a crushing or both. sent3: if the tallow crushes then the fact that it is a boxfish and/or a Michigan does not hold. sent4: there exists something such that if it is not a crushing then it is not a Michigan. sent5: there is something such that if it is not an ovation it is not a kind of a catalectic. sent6: if something does not housekeep that it is an ironed and/or risks procurement is false. sent7: the tallow is not a kind of a Michigan if it is not a kind of a crushing. sent8: if the tallow is not a crushing then it is a boxfish and/or a Michigan. sent9: there is something such that if it does not dope then the fact that it is a kind of a cerumen or is a lammergeier or both is not right. sent10: if that something does not crush is right it is not a Michigan. sent11: if the tallow is not a boxfish then it is not cross-cultural. sent12: that something is a boxfish and/or it is a Michigan is not right if it is a crushing. sent13: if the tallow is a Michigan then that it is Orwellian or psychopharmacological or both is wrong. sent14: that either something is a Lagostomus or it corrodes or both is not true if the fact that it does not yawp is right.
$hypothesis$ = there exists something such that if it does not crush that it is either a boxfish or a Michigan or both is not true. ; $context$ = sent1: there exists something such that if that it is not a kind of a Saigon is incorrect then that it is a Edam or housekeeps or both is not correct. sent2: if the puff is not a lammergeier it is a kind of a catalectic or it is a kind of a crushing or both. sent3: if the tallow crushes then the fact that it is a boxfish and/or a Michigan does not hold. sent4: there exists something such that if it is not a crushing then it is not a Michigan. sent5: there is something such that if it is not an ovation it is not a kind of a catalectic. sent6: if something does not housekeep that it is an ironed and/or risks procurement is false. sent7: the tallow is not a kind of a Michigan if it is not a kind of a crushing. sent8: if the tallow is not a crushing then it is a boxfish and/or a Michigan. sent9: there is something such that if it does not dope then the fact that it is a kind of a cerumen or is a lammergeier or both is not right. sent10: if that something does not crush is right it is not a Michigan. sent11: if the tallow is not a boxfish then it is not cross-cultural. sent12: that something is a boxfish and/or it is a Michigan is not right if it is a crushing. sent13: if the tallow is a Michigan then that it is Orwellian or psychopharmacological or both is wrong. sent14: that either something is a Lagostomus or it corrodes or both is not true if the fact that it does not yawp is right. ; $proof$ = 
__UNKNOWN__