if the parading happens the fact that the currying but not the subluxation occurs is not true.
sent1: both the deportation and the combustibleness occurs. sent2: the fact that the curry happens and the subluxation happens does not hold if the fact that the levorotation does not occur is not incorrect. sent3: the lexicography and the eddying happens. sent4: if the levorotation does not occur then that the curry happens and the subluxation does not occur is not right. sent5: the organizationalness occurs and the explicableness does not occur. sent6: the unexpendableness happens if the parade happens. sent7: the fact that the enlistment happens but the prodigy does not occur is wrong if the fact that the parading does not occur hold. sent8: that the levorotation occurs is triggered by that the subluxation occurs.
void -> assump1: Let's assume that the parade happens.; sent6 & assump1 -> int1: the unexpendableness occurs.; sent3 -> int2: the lexicography happens.; int1 & int2 -> int3: the lexicography and the unexpendableness happens.;
that the enlistment but not the prodigy occurs is false.
$hypothesis$ = if the parading happens the fact that the currying but not the subluxation occurs is not true. ; $context$ = sent1: both the deportation and the combustibleness occurs. sent2: the fact that the curry happens and the subluxation happens does not hold if the fact that the levorotation does not occur is not incorrect. sent3: the lexicography and the eddying happens. sent4: if the levorotation does not occur then that the curry happens and the subluxation does not occur is not right. sent5: the organizationalness occurs and the explicableness does not occur. sent6: the unexpendableness happens if the parade happens. sent7: the fact that the enlistment happens but the prodigy does not occur is wrong if the fact that the parading does not occur hold. sent8: that the levorotation occurs is triggered by that the subluxation occurs. ; $proof$ = 
void -> assump1: Let's assume that the parade happens.; sent6 & assump1 -> int1: the unexpendableness occurs.; sent3 -> int2: the lexicography happens.; int1 & int2 -> int3: the lexicography and the unexpendableness happens.; __UNKNOWN__