there is something such that if it neglects nonworker and it is not backward the fact that it does rationalize stereoscopy is true.
sent1: if something does neglect nonworker and is not backward it does rationalize stereoscopy. sent2: if something neglects nonworker and it is backward then it rationalizes stereoscopy.
sent1 -> int1: if the midge does neglect nonworker but it is not backward then it does rationalize stereoscopy.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it neglects nonworker and it is not backward the fact that it does rationalize stereoscopy is true. ; $context$ = sent1: if something does neglect nonworker and is not backward it does rationalize stereoscopy. sent2: if something neglects nonworker and it is backward then it rationalizes stereoscopy. ; $proof$ = 
sent1 -> int1: if the midge does neglect nonworker but it is not backward then it does rationalize stereoscopy.; int1 -> hypothesis; __PROVED__