there exists something such that if the fact that it is not ungregarious and does not roll flyway does not hold then it is unholy.
sent1: something is calyceal if the fact that it is a kind of a calorimetry that does not predict is not true. sent2: if that the techie rolls eared and does not truck Cassius is not true it overdoses. sent3: there is something such that if it does roll flyway it is unholy. sent4: there exists something such that if the fact that it is aneurysmal and is not a claret is false the fact that it is a kind of a keyed hold. sent5: there is something such that if it is not gregarious then the fact that it is unholy hold. sent6: the grubby does truck pole if the fact that it is both not ungregarious and not urceolate is false. sent7: there exists something such that if it is gregarious and it does not roll flyway it is unholy. sent8: there exists something such that if that it rolls ignition and is not a quincentennial is not right then it does truck restfulness. sent9: if the fact that the grubby clarets but it does not crave is wrong it is unholy. sent10: the grubby is unholy if it is gregarious and it does not roll flyway. sent11: if the fact that something opens credits and is not antecubital is not correct then it is abomasal. sent12: there is something such that if the fact that it is gregarious thing that rolls flyway does not hold that it is unholy is correct. sent13: there exists something such that if the fact that it is a kind of Soviet thing that is not Paleozoic is not right then it is noncombustible. sent14: if something is gregarious but it does not roll flyway then it is unholy. sent15: there is something such that if that it is axile and it does not distribute is not correct it does roll eared. sent16: the grubby is a kind of a claret if that it is unholy and it is not a quincentennial does not hold. sent17: if the fact that something stonewalls and is not Corsican is false it is a kind of a binomial. sent18: if that the grubby opens credits but it does not truck toed is wrong it does roll flyway. sent19: if the grubby rolls flyway then it is unholy. sent20: there exists something such that if that it is a combustible and it does not truck beldam is wrong it is a invaluableness.
$hypothesis$ = there exists something such that if the fact that it is not ungregarious and does not roll flyway does not hold then it is unholy. ; $context$ = sent1: something is calyceal if the fact that it is a kind of a calorimetry that does not predict is not true. sent2: if that the techie rolls eared and does not truck Cassius is not true it overdoses. sent3: there is something such that if it does roll flyway it is unholy. sent4: there exists something such that if the fact that it is aneurysmal and is not a claret is false the fact that it is a kind of a keyed hold. sent5: there is something such that if it is not gregarious then the fact that it is unholy hold. sent6: the grubby does truck pole if the fact that it is both not ungregarious and not urceolate is false. sent7: there exists something such that if it is gregarious and it does not roll flyway it is unholy. sent8: there exists something such that if that it rolls ignition and is not a quincentennial is not right then it does truck restfulness. sent9: if the fact that the grubby clarets but it does not crave is wrong it is unholy. sent10: the grubby is unholy if it is gregarious and it does not roll flyway. sent11: if the fact that something opens credits and is not antecubital is not correct then it is abomasal. sent12: there is something such that if the fact that it is gregarious thing that rolls flyway does not hold that it is unholy is correct. sent13: there exists something such that if the fact that it is a kind of Soviet thing that is not Paleozoic is not right then it is noncombustible. sent14: if something is gregarious but it does not roll flyway then it is unholy. sent15: there is something such that if that it is axile and it does not distribute is not correct it does roll eared. sent16: the grubby is a kind of a claret if that it is unholy and it is not a quincentennial does not hold. sent17: if the fact that something stonewalls and is not Corsican is false it is a kind of a binomial. sent18: if that the grubby opens credits but it does not truck toed is wrong it does roll flyway. sent19: if the grubby rolls flyway then it is unholy. sent20: there exists something such that if that it is a combustible and it does not truck beldam is wrong it is a invaluableness. ; $proof$ = 
__UNKNOWN__