the supination does not occur.
sent1: the appointment happens and/or the Elizabethanness occurs. sent2: the sledding and the oscillating occurs. sent3: that either the mealiness or the ableism or both occurs is brought about by that the exposure does not occur. sent4: if either the appointment does not occur or the Elizabethan occurs or both then the exportableness happens. sent5: both the wiring and the fascistaness occurs. sent6: the alkaloidalness and the initiation happens. sent7: either the appointment happens or the Elizabethan occurs or both if the supination occurs. sent8: that the appointment does not occur and/or that the Elizabethanness occurs is triggered by the supination. sent9: the wiving occurs if that the mealiness occurs is not incorrect. sent10: the ableism happens and the mealiness happens. sent11: that both the exportableness and the alkaloidalness occurs prevents that the bristle occurs. sent12: the initiation happens. sent13: the ableism happens. sent14: if the appointment does not occur then the exportableness occurs.
void -> assump1: Let's assume that the supination happens.; sent8 & assump1 -> int1: the appointment does not occur and/or the Elizabethan happens.; int1 & sent4 -> int2: the exportableness happens.; sent6 -> int3: the alkaloidalness happens.; int2 & int3 -> int4: the exportableness occurs and the alkaloidalness occurs.; int4 & sent11 -> int5: the bristle does not occur.; sent10 -> int6: the mealiness happens.; sent9 & int6 -> int7: the fact that the wiving happens hold.;
the supination happens.
$hypothesis$ = the supination does not occur. ; $context$ = sent1: the appointment happens and/or the Elizabethanness occurs. sent2: the sledding and the oscillating occurs. sent3: that either the mealiness or the ableism or both occurs is brought about by that the exposure does not occur. sent4: if either the appointment does not occur or the Elizabethan occurs or both then the exportableness happens. sent5: both the wiring and the fascistaness occurs. sent6: the alkaloidalness and the initiation happens. sent7: either the appointment happens or the Elizabethan occurs or both if the supination occurs. sent8: that the appointment does not occur and/or that the Elizabethanness occurs is triggered by the supination. sent9: the wiving occurs if that the mealiness occurs is not incorrect. sent10: the ableism happens and the mealiness happens. sent11: that both the exportableness and the alkaloidalness occurs prevents that the bristle occurs. sent12: the initiation happens. sent13: the ableism happens. sent14: if the appointment does not occur then the exportableness occurs. ; $proof$ = 
void -> assump1: Let's assume that the supination happens.; sent8 & assump1 -> int1: the appointment does not occur and/or the Elizabethan happens.; int1 & sent4 -> int2: the exportableness happens.; sent6 -> int3: the alkaloidalness happens.; int2 & int3 -> int4: the exportableness occurs and the alkaloidalness occurs.; int4 & sent11 -> int5: the bristle does not occur.; sent10 -> int6: the mealiness happens.; sent9 & int6 -> int7: the fact that the wiving happens hold.; __UNKNOWN__