the dorsiflexion does not occur if the confluence happens.
sent1: the dorsiflexion occurs if the confluence occurs. sent2: the skating does not occur if the fixation happens or the dorsiflexion happens or both. sent3: that the dysphemisticness happens brings about that the imperialness does not occur and the confluence does not occur. sent4: if the fixation does not occur the fact that the polynomialness and the sideline happens is not correct. sent5: the dysphemisticness happens if the fact that the ambitiousness does not occur and the left does not occur is wrong. sent6: the fact that the federalness happens and the imperial happens is incorrect if that the skating does not occur is not false. sent7: if that the federalness happens and the imperial happens is not true then the confluence occurs. sent8: that the skating occurs is prevented by that the fixation happens. sent9: the confluence does not occur if the fact that the federalness occurs and the imperial happens is false. sent10: that the grassfire occurs prevents that the entozoanness occurs. sent11: if the federalness does not occur then the confluence does not occur.
void -> assump1: Let's assume that the confluence happens.; void -> assump2: Let's assume that the dorsiflexion occurs.; assump2 -> int1: the fixation or the dorsiflexion or both happens.; sent2 & int1 -> int2: the skating does not occur.; sent6 & int2 -> int3: that the federalness and the imperial happens is wrong.; sent9 & int3 -> int4: the confluence does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the dorsiflexion does not occur.; [assump1] & int6 -> hypothesis;
that the polynomialness and the sideline happens is incorrect.
$hypothesis$ = the dorsiflexion does not occur if the confluence happens. ; $context$ = sent1: the dorsiflexion occurs if the confluence occurs. sent2: the skating does not occur if the fixation happens or the dorsiflexion happens or both. sent3: that the dysphemisticness happens brings about that the imperialness does not occur and the confluence does not occur. sent4: if the fixation does not occur the fact that the polynomialness and the sideline happens is not correct. sent5: the dysphemisticness happens if the fact that the ambitiousness does not occur and the left does not occur is wrong. sent6: the fact that the federalness happens and the imperial happens is incorrect if that the skating does not occur is not false. sent7: if that the federalness happens and the imperial happens is not true then the confluence occurs. sent8: that the skating occurs is prevented by that the fixation happens. sent9: the confluence does not occur if the fact that the federalness occurs and the imperial happens is false. sent10: that the grassfire occurs prevents that the entozoanness occurs. sent11: if the federalness does not occur then the confluence does not occur. ; $proof$ = 
void -> assump1: Let's assume that the confluence happens.; void -> assump2: Let's assume that the dorsiflexion occurs.; assump2 -> int1: the fixation or the dorsiflexion or both happens.; sent2 & int1 -> int2: the skating does not occur.; sent6 & int2 -> int3: that the federalness and the imperial happens is wrong.; sent9 & int3 -> int4: the confluence does not occur.; assump1 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the dorsiflexion does not occur.; [assump1] & int6 -> hypothesis; __PROVED__