there is something such that if it does jet then it is not offshore and it does not moil.
sent1: if something is carcinogenic then it does not fabricate hellion and does not discard. sent2: if the agua is a jet it is not offshore and it moils. sent3: if the agua is a jet the fact that it is shrubby hold. sent4: the agua is not offshore if it is shrubby. sent5: the twist is offshore.
void -> assump1: Let's assume that the agua is a jet.; sent3 & assump1 -> int1: the agua is shrubby.;
there exists something such that if it is not non-carcinogenic it does not fabricate hellion and it is not a discard.
sent1 -> int2: the agua does not fabricate hellion and is not a kind of a discard if that it is carcinogenic is not incorrect.; int2 -> hypothesis;
$hypothesis$ = there is something such that if it does jet then it is not offshore and it does not moil. ; $context$ = sent1: if something is carcinogenic then it does not fabricate hellion and does not discard. sent2: if the agua is a jet it is not offshore and it moils. sent3: if the agua is a jet the fact that it is shrubby hold. sent4: the agua is not offshore if it is shrubby. sent5: the twist is offshore. ; $proof$ = 
void -> assump1: Let's assume that the agua is a jet.; sent3 & assump1 -> int1: the agua is shrubby.; __UNKNOWN__