the reckoner deprives parallax and is dyadic.
sent1: that the narrowboat is not a sapote hold if there is something such that the fact that it is not intense and it is not protrusive does not hold. sent2: the casquet is a embryologist if there exists something such that it is not a sapote. sent3: there exists something such that that it is a kind of non-intense thing that is protrusive is wrong. sent4: the narrowboat is not a kind of a sapote if there exists something such that it is intense. sent5: the reckoner is dyadic if the casquet is a embryologist. sent6: there exists something such that that it is not intense and it is not protrusive is incorrect. sent7: something deprives yielding. sent8: there is something such that the fact that it is intense thing that is not protrusive is not correct. sent9: the fact that the reckoner is a Zygophyllum hold.
sent6 & sent1 -> int1: the narrowboat is not a kind of a sapote.; int1 -> int2: there is something such that it is not a kind of a sapote.; int2 & sent2 -> int3: the casquet is a kind of a embryologist.; int3 & sent5 -> int4: that the reckoner is dyadic hold.;
$hypothesis$ = the reckoner deprives parallax and is dyadic. ; $context$ = sent1: that the narrowboat is not a sapote hold if there is something such that the fact that it is not intense and it is not protrusive does not hold. sent2: the casquet is a embryologist if there exists something such that it is not a sapote. sent3: there exists something such that that it is a kind of non-intense thing that is protrusive is wrong. sent4: the narrowboat is not a kind of a sapote if there exists something such that it is intense. sent5: the reckoner is dyadic if the casquet is a embryologist. sent6: there exists something such that that it is not intense and it is not protrusive is incorrect. sent7: something deprives yielding. sent8: there is something such that the fact that it is intense thing that is not protrusive is not correct. sent9: the fact that the reckoner is a Zygophyllum hold. ; $proof$ = 
sent6 & sent1 -> int1: the narrowboat is not a kind of a sapote.; int1 -> int2: there is something such that it is not a kind of a sapote.; int2 & sent2 -> int3: the casquet is a kind of a embryologist.; int3 & sent5 -> int4: that the reckoner is dyadic hold.; __UNKNOWN__