the deep-sea occurs if that the nonsuppurativeness occurs is not false.
sent1: the tribalness or the nonsuppurativeness or both happens if the upturn does not occur. sent2: that the deep-sea does not occur yields that both the running and the Guatemalan occurs. sent3: if that the deep-sea does not occur and the gladdening wiriness happens is not right the seamanlikeness does not occur. sent4: that both the metamorphicness and the non-convexness happens yields that the upturn does not occur. sent5: the gladdening wiriness occurs if the running occurs. sent6: that the lunge does not occur is prevented by that the curacy occurs. sent7: the uncongenialness does not occur if the pitching pussycat happens. sent8: if the gladdening wiriness happens then the hurdling does not occur.
void -> assump2: Let's assume that the nonsuppurativeness occurs.; void -> assump1: Let's assume that the deep-seaness does not occur.; sent2 & assump1 -> int1: the run occurs and the Guatemalanness happens.; int1 -> int2: the running happens.; sent5 & int2 -> int3: the gladdening wiriness occurs.; sent8 & int3 -> int4: the hurdling does not occur.;
the seamanlikeness does not occur.
$hypothesis$ = the deep-sea occurs if that the nonsuppurativeness occurs is not false. ; $context$ = sent1: the tribalness or the nonsuppurativeness or both happens if the upturn does not occur. sent2: that the deep-sea does not occur yields that both the running and the Guatemalan occurs. sent3: if that the deep-sea does not occur and the gladdening wiriness happens is not right the seamanlikeness does not occur. sent4: that both the metamorphicness and the non-convexness happens yields that the upturn does not occur. sent5: the gladdening wiriness occurs if the running occurs. sent6: that the lunge does not occur is prevented by that the curacy occurs. sent7: the uncongenialness does not occur if the pitching pussycat happens. sent8: if the gladdening wiriness happens then the hurdling does not occur. ; $proof$ = 
void -> assump2: Let's assume that the nonsuppurativeness occurs.; void -> assump1: Let's assume that the deep-seaness does not occur.; sent2 & assump1 -> int1: the run occurs and the Guatemalanness happens.; int1 -> int2: the running happens.; sent5 & int2 -> int3: the gladdening wiriness occurs.; sent8 & int3 -> int4: the hurdling does not occur.; __UNKNOWN__