if the myotonicness does not occur the workshop and the pairing Wroclaw occurs.
sent1: the swimming heating occurs. sent2: the fact that the territorialization does not occur and the permutation does not occur is incorrect if the cession does not occur. sent3: that the champing happens and the swimming heating occurs prevents the cession. sent4: the permutation does not occur. sent5: the fact that the photometry occurs is not false if the auto-da-fe does not occur and the swimming motorcade does not occur. sent6: the pairing Tangshan occurs. sent7: the fact that the puritanicalness and/or the strike happens is incorrect. sent8: that the swimming heating does not occur yields that either the champing does not occur or the transplant does not occur or both. sent9: the retroactiveness does not occur if the fact that the puritanicalness and/or the striking occurs is wrong. sent10: the pairing Tangshan is caused by that the retroactiveness does not occur. sent11: if the myotonicness does not occur and the champing does not occur then the workshop occurs. sent12: the fact that the striking does not occur hold. sent13: that the transplanting does not occur is caused by that the champing does not occur and/or the transplanting does not occur. sent14: the territorialization does not occur.
void -> assump2: Let's assume that the champing happens.; assump2 & sent1 -> int1: both the champing and the swimming heating occurs.; int1 & sent3 -> int2: the cession does not occur.; int2 & sent2 -> int3: the fact that the territorialization does not occur and the permutation does not occur is false.; sent14 & sent4 -> int4: the territorialization does not occur and the permutation does not occur.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the champing does not occur.; void -> assump1: Let's assume that that the myotonicness does not occur is right.; int6 & assump1 -> int7: the myotonicness does not occur and the champing does not occur.; int7 & sent11 -> int8: the workshop occurs.; sent9 & sent7 -> int9: the retroactiveness does not occur.;
the transplant does not occur.
$hypothesis$ = if the myotonicness does not occur the workshop and the pairing Wroclaw occurs. ; $context$ = sent1: the swimming heating occurs. sent2: the fact that the territorialization does not occur and the permutation does not occur is incorrect if the cession does not occur. sent3: that the champing happens and the swimming heating occurs prevents the cession. sent4: the permutation does not occur. sent5: the fact that the photometry occurs is not false if the auto-da-fe does not occur and the swimming motorcade does not occur. sent6: the pairing Tangshan occurs. sent7: the fact that the puritanicalness and/or the strike happens is incorrect. sent8: that the swimming heating does not occur yields that either the champing does not occur or the transplant does not occur or both. sent9: the retroactiveness does not occur if the fact that the puritanicalness and/or the striking occurs is wrong. sent10: the pairing Tangshan is caused by that the retroactiveness does not occur. sent11: if the myotonicness does not occur and the champing does not occur then the workshop occurs. sent12: the fact that the striking does not occur hold. sent13: that the transplanting does not occur is caused by that the champing does not occur and/or the transplanting does not occur. sent14: the territorialization does not occur. ; $proof$ = 
void -> assump2: Let's assume that the champing happens.; assump2 & sent1 -> int1: both the champing and the swimming heating occurs.; int1 & sent3 -> int2: the cession does not occur.; int2 & sent2 -> int3: the fact that the territorialization does not occur and the permutation does not occur is false.; sent14 & sent4 -> int4: the territorialization does not occur and the permutation does not occur.; int3 & int4 -> int5: this is contradiction.; [assump2] & int5 -> int6: the champing does not occur.; void -> assump1: Let's assume that that the myotonicness does not occur is right.; int6 & assump1 -> int7: the myotonicness does not occur and the champing does not occur.; int7 & sent11 -> int8: the workshop occurs.; sent9 & sent7 -> int9: the retroactiveness does not occur.; __UNKNOWN__