either the raglan does not utter gaudery or it is a hypersecretion or both.
sent1: something is not glomerular if it is a putterer. sent2: if the fact that the foal does not date directorate and it does not unveil paralegal hold it is non-amblyopic. sent3: the foal does not date directorate and does not unveil paralegal. sent4: the Nepalese is not amblyopic if the fact that the petchary is both not frictional and glomerular does not hold. sent5: if the foal is not amblyopic the tsetse is a threshold and it is a putterer. sent6: the raglan does not utter gaudery or is a hypersecretion or both if the tsetse is not frictional. sent7: the tsetse is not frictional if it is not glomerular. sent8: the fact that the tsetse is a kind of a threshold but it is not a putterer is not right if the Nepalese is not amblyopic.
sent2 & sent3 -> int1: the fact that the foal is not amblyopic is not wrong.; int1 & sent5 -> int2: the tsetse is both a threshold and a putterer.; int2 -> int3: the tsetse is a putterer.; sent1 -> int4: the tsetse is not glomerular if it is a putterer.; int3 & int4 -> int5: the tsetse is not glomerular.; int5 & sent7 -> int6: the tsetse is not frictional.; int6 & sent6 -> hypothesis;
the fact that the raglan does not utter gaudery or it is a hypersecretion or both is not correct.
$hypothesis$ = either the raglan does not utter gaudery or it is a hypersecretion or both. ; $context$ = sent1: something is not glomerular if it is a putterer. sent2: if the fact that the foal does not date directorate and it does not unveil paralegal hold it is non-amblyopic. sent3: the foal does not date directorate and does not unveil paralegal. sent4: the Nepalese is not amblyopic if the fact that the petchary is both not frictional and glomerular does not hold. sent5: if the foal is not amblyopic the tsetse is a threshold and it is a putterer. sent6: the raglan does not utter gaudery or is a hypersecretion or both if the tsetse is not frictional. sent7: the tsetse is not frictional if it is not glomerular. sent8: the fact that the tsetse is a kind of a threshold but it is not a putterer is not right if the Nepalese is not amblyopic. ; $proof$ = 
sent2 & sent3 -> int1: the fact that the foal is not amblyopic is not wrong.; int1 & sent5 -> int2: the tsetse is both a threshold and a putterer.; int2 -> int3: the tsetse is a putterer.; sent1 -> int4: the tsetse is not glomerular if it is a putterer.; int3 & int4 -> int5: the tsetse is not glomerular.; int5 & sent7 -> int6: the tsetse is not frictional.; int6 & sent6 -> hypothesis; __PROVED__