there exists something such that if it does not drowse polyfoam the fact that it is a lateen-rig and is a rustic is not right.
sent1: if the waterdog does not drowse polyfoam it is both a lateen-rig and a rustic. sent2: there is something such that if it does drowse polyfoam then that it is both a lateen-rig and a rustic is incorrect. sent3: something is a lateen-rig and a rustic if it does not drowse polyfoam. sent4: if the waterdog is not a rustic then the fact that it is an afferent and it is beneficiary is incorrect. sent5: the fact that something is a browse that is a pedal is false if it is not an afferent. sent6: the fact that the waterdog is a rustic and it is a hee-haw is incorrect if it is not a galvanism. sent7: there is something such that if it does not drowse gloss then the fact that it does spoof earache and does gnaw is false. sent8: if something does not drowse polyfoam then the fact that it is a kind of a lateen-rig and it is a rustic is not correct. sent9: the fact that something is a rustic that is a kind of a current does not hold if it does not temporize. sent10: if something does drowse polyfoam then the fact that it is a kind of a lateen-rig that is a rustic is false. sent11: that something temporizes and is uncomfortable is not correct if it is not intentional. sent12: if the waterdog is not a fingered then the fact that it does drowse gloss and it is a rustic is false. sent13: the fact that something reciprocates Brno and it is a sthene does not hold if it is not unhealthful. sent14: that that the waterdog is a lateen-rig and it is the rustic is wrong if the waterdog drowses polyfoam is not false. sent15: that that the scattering is a flattop and it does spoof scattering is not false is not correct if it is not a rustic. sent16: there is something such that if it does not drowse polyfoam then it is a lateen-rig that is a rustic. sent17: if the wallboard does not drowse waterdog the fact that the fact that it is a rustic that does gnaw is not false is not true. sent18: the fact that something is multiphase and it does spoof illegality does not hold if the fact that it is not telocentric hold.
sent8 -> int1: if the fact that the waterdog does not drowse polyfoam is not false then that it is a kind of a lateen-rig and it is a rustic is false.; int1 -> hypothesis;
that the waterdog is a rustic that is a current is not right if it does not temporize.
sent9 -> hypothesis;
$hypothesis$ = there exists something such that if it does not drowse polyfoam the fact that it is a lateen-rig and is a rustic is not right. ; $context$ = sent1: if the waterdog does not drowse polyfoam it is both a lateen-rig and a rustic. sent2: there is something such that if it does drowse polyfoam then that it is both a lateen-rig and a rustic is incorrect. sent3: something is a lateen-rig and a rustic if it does not drowse polyfoam. sent4: if the waterdog is not a rustic then the fact that it is an afferent and it is beneficiary is incorrect. sent5: the fact that something is a browse that is a pedal is false if it is not an afferent. sent6: the fact that the waterdog is a rustic and it is a hee-haw is incorrect if it is not a galvanism. sent7: there is something such that if it does not drowse gloss then the fact that it does spoof earache and does gnaw is false. sent8: if something does not drowse polyfoam then the fact that it is a kind of a lateen-rig and it is a rustic is not correct. sent9: the fact that something is a rustic that is a kind of a current does not hold if it does not temporize. sent10: if something does drowse polyfoam then the fact that it is a kind of a lateen-rig that is a rustic is false. sent11: that something temporizes and is uncomfortable is not correct if it is not intentional. sent12: if the waterdog is not a fingered then the fact that it does drowse gloss and it is a rustic is false. sent13: the fact that something reciprocates Brno and it is a sthene does not hold if it is not unhealthful. sent14: that that the waterdog is a lateen-rig and it is the rustic is wrong if the waterdog drowses polyfoam is not false. sent15: that that the scattering is a flattop and it does spoof scattering is not false is not correct if it is not a rustic. sent16: there is something such that if it does not drowse polyfoam then it is a lateen-rig that is a rustic. sent17: if the wallboard does not drowse waterdog the fact that the fact that it is a rustic that does gnaw is not false is not true. sent18: the fact that something is multiphase and it does spoof illegality does not hold if the fact that it is not telocentric hold. ; $proof$ = 
sent8 -> int1: if the fact that the waterdog does not drowse polyfoam is not false then that it is a kind of a lateen-rig and it is a rustic is false.; int1 -> hypothesis; __PROVED__