that not the resisting but the paranormalness occurs is caused by the heavy.
sent1: the paranormalness occurs if the heavy occurs. sent2: the broadbandness occurs. sent3: the planetalness and the adactylousness occurs. sent4: that the sterilizing lavaliere does not occur is brought about by that the heavy happens and the broadbandness occurs.
void -> assump1: Let's assume that the heavy occurs.; assump1 & sent2 -> int1: the heaviness and the broadbandness occurs.; sent4 & int1 -> int2: the sterilizing lavaliere does not occur.;
$hypothesis$ = that not the resisting but the paranormalness occurs is caused by the heavy. ; $context$ = sent1: the paranormalness occurs if the heavy occurs. sent2: the broadbandness occurs. sent3: the planetalness and the adactylousness occurs. sent4: that the sterilizing lavaliere does not occur is brought about by that the heavy happens and the broadbandness occurs. ; $proof$ = 
void -> assump1: Let's assume that the heavy occurs.; assump1 & sent2 -> int1: the heaviness and the broadbandness occurs.; sent4 & int1 -> int2: the sterilizing lavaliere does not occur.; __UNKNOWN__