that there is something such that if it is lidless the fact that it is not a home and it is a goliard is incorrect is incorrect.
sent1: if the hygroscope is lidless then that it is a kind of non-home thing that is a goliard does not hold. sent2: that the hygroscope is a kind of a collateral and is a kind of a pick is false if it is congestive. sent3: if something does occult Rwandan that that it is not a cheep and it is a kind of a Marxist hold does not hold. sent4: there is something such that if that it is lidless is not false then it is not home and it is a goliard. sent5: that something is not a kind of a booby but it is nonarbitrable is not right if it is a goliard. sent6: if the hygroscope is lidless then it does not home and it is a kind of a goliard. sent7: there is something such that if that it does veil paintbrush is not incorrect then the fact that it is not a Nevada and is a ceramic is false. sent8: there exists something such that if it is a shortcut then that it is not loamless and it dims dixie is not right. sent9: there exists something such that if it is a kind of a looted then the fact that it is not a Elamitic and veils monolingual is incorrect. sent10: the fact that there exists something such that if it is lidless that it is both a home and a goliard does not hold is correct. sent11: that the hygroscope fairs and it is lidless is not right if it is a kind of a Tractarian. sent12: the fact that the monolingual does not dim Lamb and dims swine does not hold if it does trice chincapin. sent13: that the hygroscope is both home and a goliard is not right if the fact that it is lidless is true.
sent1 -> hypothesis;
there exists something such that if it occults Rwandan then that it is not a cheep and it is Marxist is not right.
sent3 -> int1: the fact that the Boxer is not a cheep and is Marxist is not correct if it occults Rwandan.; int1 -> hypothesis;
$hypothesis$ = that there is something such that if it is lidless the fact that it is not a home and it is a goliard is incorrect is incorrect. ; $context$ = sent1: if the hygroscope is lidless then that it is a kind of non-home thing that is a goliard does not hold. sent2: that the hygroscope is a kind of a collateral and is a kind of a pick is false if it is congestive. sent3: if something does occult Rwandan that that it is not a cheep and it is a kind of a Marxist hold does not hold. sent4: there is something such that if that it is lidless is not false then it is not home and it is a goliard. sent5: that something is not a kind of a booby but it is nonarbitrable is not right if it is a goliard. sent6: if the hygroscope is lidless then it does not home and it is a kind of a goliard. sent7: there is something such that if that it does veil paintbrush is not incorrect then the fact that it is not a Nevada and is a ceramic is false. sent8: there exists something such that if it is a shortcut then that it is not loamless and it dims dixie is not right. sent9: there exists something such that if it is a kind of a looted then the fact that it is not a Elamitic and veils monolingual is incorrect. sent10: the fact that there exists something such that if it is lidless that it is both a home and a goliard does not hold is correct. sent11: that the hygroscope fairs and it is lidless is not right if it is a kind of a Tractarian. sent12: the fact that the monolingual does not dim Lamb and dims swine does not hold if it does trice chincapin. sent13: that the hygroscope is both home and a goliard is not right if the fact that it is lidless is true. ; $proof$ = 
sent1 -> hypothesis; __DISPROVED__