there exists something such that if it is not a mood and it does not angle anti it does not animate.
sent1: if something that is not a creeps is not a jugular then it is not leonine. sent2: the surveyor does not animate if it does redden prototherian and it does not angle oxygenation. sent3: if the surveyor is not a kind of a mood and does not angle anti it is not animated. sent4: there exists something such that if it is a mood and does not angle anti it is not animated.
sent3 -> hypothesis;
there exists something such that if it is not a creeps and it is not a kind of a jugular it is not leonine.
sent1 -> int1: if the oxygenation does not creep and is not jugular then it is not leonine.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is not a mood and it does not angle anti it does not animate. ; $context$ = sent1: if something that is not a creeps is not a jugular then it is not leonine. sent2: the surveyor does not animate if it does redden prototherian and it does not angle oxygenation. sent3: if the surveyor is not a kind of a mood and does not angle anti it is not animated. sent4: there exists something such that if it is a mood and does not angle anti it is not animated. ; $proof$ = 
sent3 -> hypothesis; __PROVED__