if the overpowering carissa happens then the indefeasibleness does not occur.
sent1: the arousing sixth does not occur. sent2: the overpowering carissa occurs if the indefeasibleness occurs and/or the one-off happens. sent3: the overpowering carissa does not occur if the one-off happens. sent4: if either the accord happens or the displaying happens or both the courante happens. sent5: the intonation does not occur.
void -> assump1: Let's assume that the indefeasibleness happens.; assump1 -> int1: the indefeasibleness happens or the one-off happens or both.;
$hypothesis$ = if the overpowering carissa happens then the indefeasibleness does not occur. ; $context$ = sent1: the arousing sixth does not occur. sent2: the overpowering carissa occurs if the indefeasibleness occurs and/or the one-off happens. sent3: the overpowering carissa does not occur if the one-off happens. sent4: if either the accord happens or the displaying happens or both the courante happens. sent5: the intonation does not occur. ; $proof$ = 
void -> assump1: Let's assume that the indefeasibleness happens.; assump1 -> int1: the indefeasibleness happens or the one-off happens or both.; __UNKNOWN__