there exists something such that if it does not platinize half-light and is not a kind of a Nerium then it is not a kind of a ironworker.
sent1: something is not a ironworker if it does platinize half-light and is not a Nerium. sent2: that the bodybuilder is a kind of a ironworker hold if it does not platinize half-light and is not a Nerium. sent3: if the jampan beeps foster-daughter but it is not a Nerium then it does not sidle. sent4: if something that does not platinize half-light is not a kind of a Nerium it is not a ironworker.
sent4 -> int1: if the bodybuilder does not platinize half-light and is not a Nerium it is not a ironworker.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it does not platinize half-light and is not a kind of a Nerium then it is not a kind of a ironworker. ; $context$ = sent1: something is not a ironworker if it does platinize half-light and is not a Nerium. sent2: that the bodybuilder is a kind of a ironworker hold if it does not platinize half-light and is not a Nerium. sent3: if the jampan beeps foster-daughter but it is not a Nerium then it does not sidle. sent4: if something that does not platinize half-light is not a kind of a Nerium it is not a ironworker. ; $proof$ = 
sent4 -> int1: if the bodybuilder does not platinize half-light and is not a Nerium it is not a ironworker.; int1 -> hypothesis; __PROVED__