there is something such that if it is holographic then it does rear Rhizopogon.
sent1: the shellfish is invisible if it refuses. sent2: there is something such that if it is counterinsurgent it does weave Amsterdam. sent3: there exists something such that if it weaves Masa then it is tensile. sent4: there is something such that if it is a out-basket then it is vagal. sent5: if something is a kind of a Manchester then it is holographic. sent6: the shellfish does rear Rhizopogon if it is umbelliferous. sent7: that if the eptatretus weaves Catoptrophorus then the eptatretus is licit hold. sent8: the fact that the Walloons is tensile is not wrong if it is counterinsurgent. sent9: there exists something such that if it is ropy it is essential. sent10: there is something such that if it is a cobaltite it does rear 1-dodecanol. sent11: the pinetum is a Cyclophorus if it is a Tahiti. sent12: there exists something such that if it is microbial it is an ode. sent13: there exists something such that if it is on then it does darken. sent14: there exists something such that if it is a snake then it is a kind of a charter. sent15: the Walloons does rat if the fact that it does rear Rhizopogon is not wrong. sent16: there exists something such that if it butts tenement it is a kind of a itineration. sent17: the shellfish rears Rhizopogon if it is holographic.
sent17 -> hypothesis;
if the Mexican is a Manchester it is holographic.
sent5 -> hypothesis;
$hypothesis$ = there is something such that if it is holographic then it does rear Rhizopogon. ; $context$ = sent1: the shellfish is invisible if it refuses. sent2: there is something such that if it is counterinsurgent it does weave Amsterdam. sent3: there exists something such that if it weaves Masa then it is tensile. sent4: there is something such that if it is a out-basket then it is vagal. sent5: if something is a kind of a Manchester then it is holographic. sent6: the shellfish does rear Rhizopogon if it is umbelliferous. sent7: that if the eptatretus weaves Catoptrophorus then the eptatretus is licit hold. sent8: the fact that the Walloons is tensile is not wrong if it is counterinsurgent. sent9: there exists something such that if it is ropy it is essential. sent10: there is something such that if it is a cobaltite it does rear 1-dodecanol. sent11: the pinetum is a Cyclophorus if it is a Tahiti. sent12: there exists something such that if it is microbial it is an ode. sent13: there exists something such that if it is on then it does darken. sent14: there exists something such that if it is a snake then it is a kind of a charter. sent15: the Walloons does rat if the fact that it does rear Rhizopogon is not wrong. sent16: there exists something such that if it butts tenement it is a kind of a itineration. sent17: the shellfish rears Rhizopogon if it is holographic. ; $proof$ = 
sent17 -> hypothesis; __PROVED__