the blowing does not occur if both the spasm and the non-practicalness happens.
sent1: both the ballup and the non-neuroticness happens. sent2: that the building anagram does not occur triggers the non-salableness. sent3: the fashionableness occurs if the building oenomel does not occur. sent4: the fact that the fashionableness happens and the blowing does not occur hold if the building oenomel does not occur. sent5: the spasm occurs. sent6: that the building oenomel does not occur leads to that the fashionableness and the blowing occurs. sent7: if both the spasm and the non-practicalness happens the blow occurs. sent8: the fashionableness happens. sent9: the blowing does not occur if both the spasm and the practicalness happens.
void -> assump1: Let's assume that the spasm and the non-practicalness occurs.; assump1 -> int1: the practicalness does not occur.;
$hypothesis$ = the blowing does not occur if both the spasm and the non-practicalness happens. ; $context$ = sent1: both the ballup and the non-neuroticness happens. sent2: that the building anagram does not occur triggers the non-salableness. sent3: the fashionableness occurs if the building oenomel does not occur. sent4: the fact that the fashionableness happens and the blowing does not occur hold if the building oenomel does not occur. sent5: the spasm occurs. sent6: that the building oenomel does not occur leads to that the fashionableness and the blowing occurs. sent7: if both the spasm and the non-practicalness happens the blow occurs. sent8: the fashionableness happens. sent9: the blowing does not occur if both the spasm and the practicalness happens. ; $proof$ = 
void -> assump1: Let's assume that the spasm and the non-practicalness occurs.; assump1 -> int1: the practicalness does not occur.; __UNKNOWN__