the impotentness occurs.
sent1: if the ridding arthrography occurs then the dent does not occur. sent2: the vestalness does not occur. sent3: not the contesting but the happening happens if the dent does not occur. sent4: if the booking Norlestrin occurs the impotentness happens. sent5: that the vestal does not occur triggers that the Justice does not occur and the coloring does not occur. sent6: if the contest does not occur then the Barbadian occurs and the vestalness occurs. sent7: that the reconstructing does not occur yields that the ridding arthrography occurs and the burlesqueness happens.
void -> assump1: Let's assume that the booking Norlestrin does not occur.; sent5 & sent2 -> int1: the Justice does not occur and the coloringness does not occur.;
the impotentness does not occur.
$hypothesis$ = the impotentness occurs. ; $context$ = sent1: if the ridding arthrography occurs then the dent does not occur. sent2: the vestalness does not occur. sent3: not the contesting but the happening happens if the dent does not occur. sent4: if the booking Norlestrin occurs the impotentness happens. sent5: that the vestal does not occur triggers that the Justice does not occur and the coloring does not occur. sent6: if the contest does not occur then the Barbadian occurs and the vestalness occurs. sent7: that the reconstructing does not occur yields that the ridding arthrography occurs and the burlesqueness happens. ; $proof$ = 
void -> assump1: Let's assume that the booking Norlestrin does not occur.; sent5 & sent2 -> int1: the Justice does not occur and the coloringness does not occur.; __UNKNOWN__