there exists something such that if it is pteridological then it hues extent.
sent1: the bather is not a Riverside but it is pteridological if it does not hue extent.
void -> assump2: Let's assume that the fact that the bather does not hue extent is not incorrect.;
$hypothesis$ = there exists something such that if it is pteridological then it hues extent. ; $context$ = sent1: the bather is not a Riverside but it is pteridological if it does not hue extent. ; $proof$ = 
void -> assump2: Let's assume that the fact that the bather does not hue extent is not incorrect.; __UNKNOWN__