there exists something such that if it is undatable then the fact that it is not anisotropic and/or strokes ketohexose does not hold.
sent1: if something does not stroke propjet or it does tremble or both then it is not anisotropic. sent2: there exists something such that if it is undatable then that either it is anisotropic or it does stroke ketohexose or both is not right. sent3: there is something such that if that it is not datable is not false it does not stroke ketohexose. sent4: that the Methodist is not undatable is correct if it strokes ketohexose.
void -> assump2: Let's assume that the Methodist either is not anisotropic or does stroke ketohexose or both.;
the Methodist is not anisotropic if it either does not stroke propjet or trembles or both.
sent1 -> hypothesis;
$hypothesis$ = there exists something such that if it is undatable then the fact that it is not anisotropic and/or strokes ketohexose does not hold. ; $context$ = sent1: if something does not stroke propjet or it does tremble or both then it is not anisotropic. sent2: there exists something such that if it is undatable then that either it is anisotropic or it does stroke ketohexose or both is not right. sent3: there is something such that if that it is not datable is not false it does not stroke ketohexose. sent4: that the Methodist is not undatable is correct if it strokes ketohexose. ; $proof$ = 
void -> assump2: Let's assume that the Methodist either is not anisotropic or does stroke ketohexose or both.; __UNKNOWN__