there exists something such that if it awakes it is not a Sully.
sent1: the fact that the sorgo is an omnibus hold. sent2: that something is not a kind of a Slovenian but it is a kind of a Nilsson is wrong if it is a flycatcher. sent3: the sorgo is not a Kansa. sent4: if the sorgo awakes then it is a Sully. sent5: the sorgo detracts. sent6: the sorgo does not ding Muscovite if it is a sereness and/or it is available. sent7: there exists something such that if it awakes then it is a Sully. sent8: the eyespot does not detract. sent9: that the sorgo is not a kind of an acute is right if it outgenerals intimidation or it is a zygoma or both. sent10: the saponin does not detract. sent11: the sorgo is not deformational. sent12: the fact that the sorgo is a Turin is correct. sent13: the sorgo is a crammer and/or is particularistic. sent14: the earplug does awake. sent15: there exists something such that if it dings Muscovite it does not detract. sent16: the fact that the sorgo is a machismo and does detract is right. sent17: the sorgo does influence and is a phalarope. sent18: if the garnierite is a furtiveness the fact that it does not disclose and it undergrows does not hold. sent19: the kitten is awake. sent20: the fact that the sorgo is not a kind of a sidecar is not incorrect if it does ding Muscovite. sent21: if the sorgo does ding Muscovite and/or does awake it is not a sidecar.
void -> assump2: Let's assume that the fact that the sorgo does awake is true.; assump2 -> int1: the sorgo does ding Muscovite or it is not non-awake or both.; int1 & sent21 -> int2: the sorgo is not a kind of a sidecar.; void -> assump1: Let's assume that the sorgo is a Sully.; int2 & assump1 -> int3: the sorgo is not a sidecar but a Sully.; sent16 -> int4: the sorgo is a kind of a machismo.;
$hypothesis$ = there exists something such that if it awakes it is not a Sully. ; $context$ = sent1: the fact that the sorgo is an omnibus hold. sent2: that something is not a kind of a Slovenian but it is a kind of a Nilsson is wrong if it is a flycatcher. sent3: the sorgo is not a Kansa. sent4: if the sorgo awakes then it is a Sully. sent5: the sorgo detracts. sent6: the sorgo does not ding Muscovite if it is a sereness and/or it is available. sent7: there exists something such that if it awakes then it is a Sully. sent8: the eyespot does not detract. sent9: that the sorgo is not a kind of an acute is right if it outgenerals intimidation or it is a zygoma or both. sent10: the saponin does not detract. sent11: the sorgo is not deformational. sent12: the fact that the sorgo is a Turin is correct. sent13: the sorgo is a crammer and/or is particularistic. sent14: the earplug does awake. sent15: there exists something such that if it dings Muscovite it does not detract. sent16: the fact that the sorgo is a machismo and does detract is right. sent17: the sorgo does influence and is a phalarope. sent18: if the garnierite is a furtiveness the fact that it does not disclose and it undergrows does not hold. sent19: the kitten is awake. sent20: the fact that the sorgo is not a kind of a sidecar is not incorrect if it does ding Muscovite. sent21: if the sorgo does ding Muscovite and/or does awake it is not a sidecar. ; $proof$ = 
void -> assump2: Let's assume that the fact that the sorgo does awake is true.; assump2 -> int1: the sorgo does ding Muscovite or it is not non-awake or both.; int1 & sent21 -> int2: the sorgo is not a kind of a sidecar.; void -> assump1: Let's assume that the sorgo is a Sully.; int2 & assump1 -> int3: the sorgo is not a sidecar but a Sully.; sent16 -> int4: the sorgo is a kind of a machismo.; __UNKNOWN__