there is something such that if it does not squeegee Z it is an astronomy and it does not groove.
sent1: there exists something such that if it does not squeegee Z then it is an astronomy. sent2: the slob is not a mess if there is something such that it does squeegee Pavlova. sent3: if there exists something such that it is not a baffle and not a mess then the Latvian is not a kind of an astronomy. sent4: there exists something such that if it does not squeegee Z it is an astronomy and a grooved. sent5: if the slob does squeegee Z it is an astronomy and not a grooved. sent6: there exists something such that it squeegees Pavlova. sent7: there exists something such that if it does not squeegee Z then it is not a grooved. sent8: if the slob is an astronomy it is a kind of a mafioso. sent9: something is not a kind of a baffle if it is not a kind of a totalitarian. sent10: the slob is an astronomy. sent11: everything is not a totalitarian. sent12: the slob does powwow clemency. sent13: the eukaryote is variolar. sent14: there is something such that if it squeegees Z it is both an astronomy and not a grooved.
void -> assump1: Let's assume that the slob grooves.;
the Latvian is a grooved.
sent9 -> int1: if the slob is not a totalitarian then it is not a baffle.; sent11 -> int2: the slob is not a kind of a totalitarian.; int1 & int2 -> int3: the slob is not a baffle.; sent6 & sent2 -> int4: the slob does not mess.; int3 & int4 -> int5: the slob does not baffle and is not a mess.; int5 -> int6: there exists something such that it does not baffle and is not a mess.; int6 & sent3 -> int7: that the Latvian is not an astronomy is not wrong.;
$hypothesis$ = there is something such that if it does not squeegee Z it is an astronomy and it does not groove. ; $context$ = sent1: there exists something such that if it does not squeegee Z then it is an astronomy. sent2: the slob is not a mess if there is something such that it does squeegee Pavlova. sent3: if there exists something such that it is not a baffle and not a mess then the Latvian is not a kind of an astronomy. sent4: there exists something such that if it does not squeegee Z it is an astronomy and a grooved. sent5: if the slob does squeegee Z it is an astronomy and not a grooved. sent6: there exists something such that it squeegees Pavlova. sent7: there exists something such that if it does not squeegee Z then it is not a grooved. sent8: if the slob is an astronomy it is a kind of a mafioso. sent9: something is not a kind of a baffle if it is not a kind of a totalitarian. sent10: the slob is an astronomy. sent11: everything is not a totalitarian. sent12: the slob does powwow clemency. sent13: the eukaryote is variolar. sent14: there is something such that if it squeegees Z it is both an astronomy and not a grooved. ; $proof$ = 
void -> assump1: Let's assume that the slob grooves.; __UNKNOWN__