the chandelling occurs.
sent1: if that the summarizing Reoviridae and the non-antithyroidness occurs is not right the chandelling occurs. sent2: the non-changeableness yields that the chandelling does not occur and the northeaster does not occur. sent3: the non-changeableness is triggered by that the inside and the consolidation occurs. sent4: the chandelling is triggered by that the summarizing Reoviridae does not occur. sent5: the instructiveness and the inside happens if the chafing does not occur. sent6: the northeaster is prevented by that the summarizing Reoviridae and the non-antithyroidness happens.
void -> assump1: Let's assume that both the summarizing Reoviridae and the non-antithyroidness occurs.; sent6 & assump1 -> int1: the northeaster does not occur.;
the chandelle does not occur.
$hypothesis$ = the chandelling occurs. ; $context$ = sent1: if that the summarizing Reoviridae and the non-antithyroidness occurs is not right the chandelling occurs. sent2: the non-changeableness yields that the chandelling does not occur and the northeaster does not occur. sent3: the non-changeableness is triggered by that the inside and the consolidation occurs. sent4: the chandelling is triggered by that the summarizing Reoviridae does not occur. sent5: the instructiveness and the inside happens if the chafing does not occur. sent6: the northeaster is prevented by that the summarizing Reoviridae and the non-antithyroidness happens. ; $proof$ = 
void -> assump1: Let's assume that both the summarizing Reoviridae and the non-antithyroidness occurs.; sent6 & assump1 -> int1: the northeaster does not occur.; __UNKNOWN__