there is something such that if it is zygomorphic then that it is not a kind of a smoothhound and it is a phytochemist is incorrect.
sent1: that the skylight is not a smoothhound and is a phytochemist is not false if it is zygomorphic. sent2: if the skylight is zygomorphic the fact that it is a kind of a smoothhound that is a phytochemist is not true. sent3: there is something such that if it deticks praetorship then the fact that it is not on-street and it is a scorch is not true. sent4: there is something such that if it is not non-zygomorphic it is not a kind of a smoothhound and it is a kind of a phytochemist. sent5: that the learner does not frisk environment and is a chime is not right if it is a dartboard. sent6: there is something such that if it is unairworthy then the fact that it is non-minor and it chimes is not true. sent7: that the pip-squeak is not a smoothhound but uncomfortable is incorrect if that it is a kind of a Manannan is not false. sent8: the fact that that the skylight is not a kind of a smoothhound but it is the phytochemist does not hold if the fact that the skylight is zygomorphic is not wrong is true. sent9: that the skylight does not summarize quadrillion and is a kind of an illiterate is incorrect if the fact that it summarizes truck is not incorrect. sent10: there is something such that if it is zygomorphic then the fact that it is a smoothhound and it is a phytochemist does not hold.
sent8 -> hypothesis;
$hypothesis$ = there is something such that if it is zygomorphic then that it is not a kind of a smoothhound and it is a phytochemist is incorrect. ; $context$ = sent1: that the skylight is not a smoothhound and is a phytochemist is not false if it is zygomorphic. sent2: if the skylight is zygomorphic the fact that it is a kind of a smoothhound that is a phytochemist is not true. sent3: there is something such that if it deticks praetorship then the fact that it is not on-street and it is a scorch is not true. sent4: there is something such that if it is not non-zygomorphic it is not a kind of a smoothhound and it is a kind of a phytochemist. sent5: that the learner does not frisk environment and is a chime is not right if it is a dartboard. sent6: there is something such that if it is unairworthy then the fact that it is non-minor and it chimes is not true. sent7: that the pip-squeak is not a smoothhound but uncomfortable is incorrect if that it is a kind of a Manannan is not false. sent8: the fact that that the skylight is not a kind of a smoothhound but it is the phytochemist does not hold if the fact that the skylight is zygomorphic is not wrong is true. sent9: that the skylight does not summarize quadrillion and is a kind of an illiterate is incorrect if the fact that it summarizes truck is not incorrect. sent10: there is something such that if it is zygomorphic then the fact that it is a smoothhound and it is a phytochemist does not hold. ; $proof$ = 
sent8 -> hypothesis; __PROVED__