there exists something such that if the fact that it is not a jazz and it is not a Durio is not right it does better Balaenicipitidae.
sent1: the corporal betters Balaenicipitidae if that it is not a kind of a jazz and it is not a Durio is not correct. sent2: the lactifuge is a Durio if that it is a fug and is not a kind of a hadrosaur is wrong. sent3: if that something does not weed groundhog and is not a processional is false then it is a kind of a aftershaft. sent4: there is something such that if it is non-idle thing that does not better excoriation the fact that it does pound hold.
sent1 -> hypothesis;
there is something such that if the fact that it does not weed groundhog and it is not a processional is wrong then it is a aftershaft.
sent3 -> int1: if that the Circus does not weed groundhog and is non-processional is not right it is a kind of a aftershaft.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if the fact that it is not a jazz and it is not a Durio is not right it does better Balaenicipitidae. ; $context$ = sent1: the corporal betters Balaenicipitidae if that it is not a kind of a jazz and it is not a Durio is not correct. sent2: the lactifuge is a Durio if that it is a fug and is not a kind of a hadrosaur is wrong. sent3: if that something does not weed groundhog and is not a processional is false then it is a kind of a aftershaft. sent4: there is something such that if it is non-idle thing that does not better excoriation the fact that it does pound hold. ; $proof$ = 
sent1 -> hypothesis; __PROVED__