there is something such that if it does not wrest acquiescence and it is not an incident then it is not estrous.
sent1: there is something such that if the fact that it is not Burundi and it does not gate covering is correct then it is adscript. sent2: if the hatchet is not non-estrous and is not theoretical it is not a snivel. sent3: if something does not wrest acquiescence and it is not a kind of an incident it is not estrous.
sent3 -> int1: if the hatchet does not wrest acquiescence and it is not incident then it is not estrous.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not wrest acquiescence and it is not an incident then it is not estrous. ; $context$ = sent1: there is something such that if the fact that it is not Burundi and it does not gate covering is correct then it is adscript. sent2: if the hatchet is not non-estrous and is not theoretical it is not a snivel. sent3: if something does not wrest acquiescence and it is not a kind of an incident it is not estrous. ; $proof$ = 
sent3 -> int1: if the hatchet does not wrest acquiescence and it is not incident then it is not estrous.; int1 -> hypothesis; __PROVED__