there is something such that it does not untune Ob.
sent1: something does not untune Tragulus if it is a Nicaragua and is a rappee. sent2: if there is something such that that it does not misremember Conoclinium and it is not a kind of a rappee does not hold the sundowner does not untune Tragulus. sent3: if something that is not a Nicaragua is a rappee then it does not untune Tragulus. sent4: if there is something such that the fact that it is not a kind of a Maraco and does not misremember Conoclinium is false then the bread does not untune Ob. sent5: there exists something such that that it does not untune Tragulus and it is not naval is not right. sent6: the factotum is not a Nicaragua but it is a rappee if the sundowner is not a rappee. sent7: there exists something such that that it is a kind of non-Taoist a shebang is incorrect. sent8: the bread is not a kind of a cyborg. sent9: the sundowner does not misremember Conoclinium. sent10: if there exists something such that that it does not untune Tragulus and it is not naval is not right the traverser does not misremember Conoclinium. sent11: either the traverser is naval or it does not untune Tragulus or both if the cataloger does not untune millidegree. sent12: something is not a kind of a Maraco and it does not misremember Conoclinium. sent13: if the bread does not untune Tragulus then the traverser does not untune Ob and does untune Tragulus. sent14: if the sundowner is not a Maraco then it is not a rappee. sent15: if the traverser is naval the factotum does untune Tragulus. sent16: there exists something such that the fact that it does not untune Ob and is not naval is incorrect. sent17: the factotum does untune Tragulus if the traverser does not untune Tragulus. sent18: the traverser is not wiry. sent19: the blender is not successful. sent20: the factotum is both not a Nicaragua and not a Maraco. sent21: if the factotum is a kind of a Nicaragua and it is a rappee it does not untune Tragulus. sent22: the sundowner is not a rappee if it is not naval. sent23: the cataloger is not a kind of a Nicaragua. sent24: there is something such that that it does untune Ob hold. sent25: the fact that the sundowner is not a Maraco but it does misremember Conoclinium is not true. sent26: there is something such that it is non-wiry and it is not non-nutritional.
void -> assump1: Let's assume that the sundowner is not a Maraco and it does not misremember Conoclinium.; assump1 -> int1: the sundowner is not a Maraco.; int1 & sent14 -> int2: that the sundowner is not a rappee is not incorrect.; int2 & sent6 -> int3: the factotum is not a kind of a Nicaragua but it is a rappee.; sent3 -> int4: the factotum does not untune Tragulus if it is not a Nicaragua and it is a rappee.; int3 & int4 -> int5: the factotum does not untune Tragulus.;
$hypothesis$ = there is something such that it does not untune Ob. ; $context$ = sent1: something does not untune Tragulus if it is a Nicaragua and is a rappee. sent2: if there is something such that that it does not misremember Conoclinium and it is not a kind of a rappee does not hold the sundowner does not untune Tragulus. sent3: if something that is not a Nicaragua is a rappee then it does not untune Tragulus. sent4: if there is something such that the fact that it is not a kind of a Maraco and does not misremember Conoclinium is false then the bread does not untune Ob. sent5: there exists something such that that it does not untune Tragulus and it is not naval is not right. sent6: the factotum is not a Nicaragua but it is a rappee if the sundowner is not a rappee. sent7: there exists something such that that it is a kind of non-Taoist a shebang is incorrect. sent8: the bread is not a kind of a cyborg. sent9: the sundowner does not misremember Conoclinium. sent10: if there exists something such that that it does not untune Tragulus and it is not naval is not right the traverser does not misremember Conoclinium. sent11: either the traverser is naval or it does not untune Tragulus or both if the cataloger does not untune millidegree. sent12: something is not a kind of a Maraco and it does not misremember Conoclinium. sent13: if the bread does not untune Tragulus then the traverser does not untune Ob and does untune Tragulus. sent14: if the sundowner is not a Maraco then it is not a rappee. sent15: if the traverser is naval the factotum does untune Tragulus. sent16: there exists something such that the fact that it does not untune Ob and is not naval is incorrect. sent17: the factotum does untune Tragulus if the traverser does not untune Tragulus. sent18: the traverser is not wiry. sent19: the blender is not successful. sent20: the factotum is both not a Nicaragua and not a Maraco. sent21: if the factotum is a kind of a Nicaragua and it is a rappee it does not untune Tragulus. sent22: the sundowner is not a rappee if it is not naval. sent23: the cataloger is not a kind of a Nicaragua. sent24: there is something such that that it does untune Ob hold. sent25: the fact that the sundowner is not a Maraco but it does misremember Conoclinium is not true. sent26: there is something such that it is non-wiry and it is not non-nutritional. ; $proof$ = 
void -> assump1: Let's assume that the sundowner is not a Maraco and it does not misremember Conoclinium.; assump1 -> int1: the sundowner is not a Maraco.; int1 & sent14 -> int2: that the sundowner is not a rappee is not incorrect.; int2 & sent6 -> int3: the factotum is not a kind of a Nicaragua but it is a rappee.; sent3 -> int4: the factotum does not untune Tragulus if it is not a Nicaragua and it is a rappee.; int3 & int4 -> int5: the factotum does not untune Tragulus.; __UNKNOWN__