there is something such that if that it is both pyrectic and prolix is wrong it does not shuffle.
sent1: there exists something such that if it does not variegate membrane then it is not an immune. sent2: if that something is a Shanghai and is flowery is incorrect it does not shuffle. sent3: there exists something such that if the fact that it does variegate Acrostichum and it does audition is not correct it does not disoblige electrologist. sent4: there exists something such that if it does not gall pitcher then it does not gall tension. sent5: if that the tension is both not non-pyrectic and not non-prolix is incorrect it is not a shuffle.
sent5 -> hypothesis;
if that the pullover is a kind of a Shanghai and is flowery is not true then it does not shuffle.
sent2 -> hypothesis;
$hypothesis$ = there is something such that if that it is both pyrectic and prolix is wrong it does not shuffle. ; $context$ = sent1: there exists something such that if it does not variegate membrane then it is not an immune. sent2: if that something is a Shanghai and is flowery is incorrect it does not shuffle. sent3: there exists something such that if the fact that it does variegate Acrostichum and it does audition is not correct it does not disoblige electrologist. sent4: there exists something such that if it does not gall pitcher then it does not gall tension. sent5: if that the tension is both not non-pyrectic and not non-prolix is incorrect it is not a shuffle. ; $proof$ = 
sent5 -> hypothesis; __PROVED__