if the moment happens then the ravening delinquency occurs.
sent1: the tangoing does not occur. sent2: the ravening delinquency occurs if the Colombian does not occur. sent3: the toelessness does not occur if the Colombian or the toelessnessness or both happens. sent4: the exhibition does not occur. sent5: if the mushing artiodactyl does not occur then either the Colombian or the non-toelessness or both happens. sent6: that the moment does not occur is triggered by that the mushing artiodactyl and the Colombianness happens. sent7: that the liquefying capital does not occur is prevented by that both the emblazoning and the backhander happens. sent8: if the low-riseness happens the amnesic occurs. sent9: the moment occurs if both the mushing artiodactyl and the Colombianness happens. sent10: if both the auxinicness and the worship happens the informing occurs.
void -> assump2: Let's assume that that the moment happens hold.;
the toelessness does not occur.
$hypothesis$ = if the moment happens then the ravening delinquency occurs. ; $context$ = sent1: the tangoing does not occur. sent2: the ravening delinquency occurs if the Colombian does not occur. sent3: the toelessness does not occur if the Colombian or the toelessnessness or both happens. sent4: the exhibition does not occur. sent5: if the mushing artiodactyl does not occur then either the Colombian or the non-toelessness or both happens. sent6: that the moment does not occur is triggered by that the mushing artiodactyl and the Colombianness happens. sent7: that the liquefying capital does not occur is prevented by that both the emblazoning and the backhander happens. sent8: if the low-riseness happens the amnesic occurs. sent9: the moment occurs if both the mushing artiodactyl and the Colombianness happens. sent10: if both the auxinicness and the worship happens the informing occurs. ; $proof$ = 
void -> assump2: Let's assume that that the moment happens hold.; __UNKNOWN__