the undercutting happens and/or the deticking graph happens if the benzoicness does not occur.
sent1: the sleeting and the apothecialness occurs. sent2: both the tubercularness and the transmission happens. sent3: that the deticking cloistered occurs is brought about by that the benzoicness happens. sent4: the devolution does not occur. sent5: the fact that the deticking graph occurs is true if not the summarizing downiness but the transmission occurs. sent6: the priestlyness brings about either that the auctioning happens or that the summarizing kalansuwa happens or both. sent7: the undercutting or the deticking graph or both happens if the benzoicness occurs. sent8: the tubercularness happens. sent9: that the deticking graph but not the undercut occurs leads to that the transmission does not occur. sent10: that the summarizing downiness does not occur is triggered by that the benzoicness occurs.
void -> assump1: Let's assume that the benzoicness does not occur.; sent2 -> int1: the transmission happens.;
either the deticking cloistered or the lobbyism or both happens.
$hypothesis$ = the undercutting happens and/or the deticking graph happens if the benzoicness does not occur. ; $context$ = sent1: the sleeting and the apothecialness occurs. sent2: both the tubercularness and the transmission happens. sent3: that the deticking cloistered occurs is brought about by that the benzoicness happens. sent4: the devolution does not occur. sent5: the fact that the deticking graph occurs is true if not the summarizing downiness but the transmission occurs. sent6: the priestlyness brings about either that the auctioning happens or that the summarizing kalansuwa happens or both. sent7: the undercutting or the deticking graph or both happens if the benzoicness occurs. sent8: the tubercularness happens. sent9: that the deticking graph but not the undercut occurs leads to that the transmission does not occur. sent10: that the summarizing downiness does not occur is triggered by that the benzoicness occurs. ; $proof$ = 
void -> assump1: Let's assume that the benzoicness does not occur.; sent2 -> int1: the transmission happens.; __UNKNOWN__