there is something such that if it is both a dream and not a facelift then it is not a stockinet.
sent1: there is something such that if it is impenetrable but not viatical it does not burn. sent2: there exists something such that if it dreams and it is not a facelift it is a kind of a stockinet. sent3: if the possumwood is both apophyseal and not a chart it is not a stockinet. sent4: the fact that the possumwood is not a stockinet hold if it dreams and it is a facelift. sent5: there is something such that if it dreams and it is a facelift then it is not a kind of a stockinet. sent6: the possumwood is a stockinet if it is a kind of a dream and it is not a facelift. sent7: if something that is a kind of a stockinet is not a kind of a shroud it is not aniseikonic. sent8: if the possumwood is a dream that is not a kind of a facelift the fact that it is not a stockinet is not false.
sent8 -> hypothesis;
if the scooter is a stockinet and is not a shroud it is not aniseikonic.
sent7 -> hypothesis;
$hypothesis$ = there is something such that if it is both a dream and not a facelift then it is not a stockinet. ; $context$ = sent1: there is something such that if it is impenetrable but not viatical it does not burn. sent2: there exists something such that if it dreams and it is not a facelift it is a kind of a stockinet. sent3: if the possumwood is both apophyseal and not a chart it is not a stockinet. sent4: the fact that the possumwood is not a stockinet hold if it dreams and it is a facelift. sent5: there is something such that if it dreams and it is a facelift then it is not a kind of a stockinet. sent6: the possumwood is a stockinet if it is a kind of a dream and it is not a facelift. sent7: if something that is a kind of a stockinet is not a kind of a shroud it is not aniseikonic. sent8: if the possumwood is a dream that is not a kind of a facelift the fact that it is not a stockinet is not false. ; $proof$ = 
sent8 -> hypothesis; __PROVED__