if not the aggregating homogenization but the terpsichoreanness happens then the bacteroidalness does not occur.
sent1: the heliocentricness does not occur. sent2: that the terpsichoreanness occurs brings about that the employableness occurs. sent3: the wasting occurs.
void -> assump1: Let's assume that the aggregating homogenization does not occur but the terpsichoreanness happens.; assump1 -> int1: the terpsichoreanness happens.; int1 & sent2 -> int2: the employable happens.; void -> assump2: Let's assume that the bacteroidalness happens.; int2 & assump2 -> int3: both the employable and the bacteroidalness happens.;
$hypothesis$ = if not the aggregating homogenization but the terpsichoreanness happens then the bacteroidalness does not occur. ; $context$ = sent1: the heliocentricness does not occur. sent2: that the terpsichoreanness occurs brings about that the employableness occurs. sent3: the wasting occurs. ; $proof$ = 
void -> assump1: Let's assume that the aggregating homogenization does not occur but the terpsichoreanness happens.; assump1 -> int1: the terpsichoreanness happens.; int1 & sent2 -> int2: the employable happens.; void -> assump2: Let's assume that the bacteroidalness happens.; int2 & assump2 -> int3: both the employable and the bacteroidalness happens.; __UNKNOWN__