if the conjuncture occurs then the wiring does not occur.
sent1: the fester occurs if the fact that the fester does not occur but the wiring occurs is incorrect. sent2: if the wiring occurs and the conjuncture happens then the bus does not occur. sent3: the top-downness does not occur. sent4: that if the zygomaticness occurs that the diversion does not occur is not false hold. sent5: the fact that not the fester but the wiring happens does not hold if the underwriting volatility occurs. sent6: the scrunch does not occur. sent7: not the scrunch but the underwriting volatility occurs if the busing does not occur. sent8: that the scrunch does not occur is brought about by that the busing does not occur. sent9: that the plowing does not occur is triggered by that the scrunch and the underwriting volatility happens. sent10: if the conjuncture happens then the wiring occurs. sent11: that the plowing happens is not incorrect. sent12: the unstuckness occurs. sent13: the drilling does not occur.
void -> assump2: Let's assume that the wiring happens.; void -> assump1: Let's assume that the conjuncture occurs.; assump2 & assump1 -> int1: both the wiring and the conjuncture happens.; int1 & sent2 -> int2: the bus does not occur.; int2 & sent7 -> int3: the scrunch does not occur but the underwriting volatility happens.;
both the fester and the background occurs.
$hypothesis$ = if the conjuncture occurs then the wiring does not occur. ; $context$ = sent1: the fester occurs if the fact that the fester does not occur but the wiring occurs is incorrect. sent2: if the wiring occurs and the conjuncture happens then the bus does not occur. sent3: the top-downness does not occur. sent4: that if the zygomaticness occurs that the diversion does not occur is not false hold. sent5: the fact that not the fester but the wiring happens does not hold if the underwriting volatility occurs. sent6: the scrunch does not occur. sent7: not the scrunch but the underwriting volatility occurs if the busing does not occur. sent8: that the scrunch does not occur is brought about by that the busing does not occur. sent9: that the plowing does not occur is triggered by that the scrunch and the underwriting volatility happens. sent10: if the conjuncture happens then the wiring occurs. sent11: that the plowing happens is not incorrect. sent12: the unstuckness occurs. sent13: the drilling does not occur. ; $proof$ = 
void -> assump2: Let's assume that the wiring happens.; void -> assump1: Let's assume that the conjuncture occurs.; assump2 & assump1 -> int1: both the wiring and the conjuncture happens.; int1 & sent2 -> int2: the bus does not occur.; int2 & sent7 -> int3: the scrunch does not occur but the underwriting volatility happens.; __UNKNOWN__