there exists something such that if it does not get Cancridae and it does redden pitfall then it is a kind of a Entebbe.
sent1: something that is not dull and is protozoal is a kind of a vice. sent2: if a non-ventilatory thing is unpresidential then it weakens. sent3: if something is not a kind of a unproductiveness but it reddens Schumann it is a photolithograph. sent4: if something that does not get Cancridae reddens pitfall it is a Entebbe. sent5: if something does get Cancridae and it does redden pitfall then it is a Entebbe. sent6: the omnivore is a Entebbe if it does get Cancridae and reddens pitfall. sent7: there is something such that if it gets Cancridae and does redden pitfall it is a Entebbe. sent8: if the fact that something does not angle nibbed but it is a desalination is not incorrect then it is a Amish.
sent4 -> int1: the omnivore is a Entebbe if it does not get Cancridae and does redden pitfall.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not get Cancridae and it does redden pitfall then it is a kind of a Entebbe. ; $context$ = sent1: something that is not dull and is protozoal is a kind of a vice. sent2: if a non-ventilatory thing is unpresidential then it weakens. sent3: if something is not a kind of a unproductiveness but it reddens Schumann it is a photolithograph. sent4: if something that does not get Cancridae reddens pitfall it is a Entebbe. sent5: if something does get Cancridae and it does redden pitfall then it is a Entebbe. sent6: the omnivore is a Entebbe if it does get Cancridae and reddens pitfall. sent7: there is something such that if it gets Cancridae and does redden pitfall it is a Entebbe. sent8: if the fact that something does not angle nibbed but it is a desalination is not incorrect then it is a Amish. ; $proof$ = 
sent4 -> int1: the omnivore is a Entebbe if it does not get Cancridae and does redden pitfall.; int1 -> hypothesis; __PROVED__