that the sarcolemmicness happens is not correct.
sent1: not the briefing necessity but the commercialness happens if the fugalness does not occur. sent2: that the briefing necessity does not occur leads to that both the amenorrheicness and the tourism happens. sent3: either the non-amenorrheicness or the automatic or both occurs. sent4: the terrestrialness occurs. sent5: the fact that the amenorrheicness does not occur or the automaticness does not occur or both is not correct if the tourism does not occur. sent6: the fugalness does not occur if the fishiness does not occur. sent7: the briefing necessity occurs. sent8: the bow does not occur if the tinseling groaner occurs and the mocking occurs. sent9: the fact that the sarcolemmicness occurs hold if the terrestrialness does not occur. sent10: if that the amenorrheicness occurs is not false the fact that the automaticness does not occur but the terrestrialness happens is wrong. sent11: the tourism does not occur and the briefing necessity happens. sent12: if the icebreaker does not occur the winding happens and the fishiness does not occur. sent13: that the sarcolemmicness happens and the terrestrialness occurs yields the non-amenorrheicness.
void -> assump1: Let's assume that the sarcolemmicness happens.; assump1 & sent4 -> int1: the sarcolemmicness and the terrestrialness happens.; int1 & sent13 -> int2: the amenorrheicness does not occur.; int2 -> int3: the amenorrheicness does not occur or the automaticness does not occur or both.; sent11 -> int4: the tourism does not occur.; sent5 & int4 -> int5: the fact that the amenorrheicness does not occur and/or the automatic does not occur is not right.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the sarcolemmicness occurs.
$hypothesis$ = that the sarcolemmicness happens is not correct. ; $context$ = sent1: not the briefing necessity but the commercialness happens if the fugalness does not occur. sent2: that the briefing necessity does not occur leads to that both the amenorrheicness and the tourism happens. sent3: either the non-amenorrheicness or the automatic or both occurs. sent4: the terrestrialness occurs. sent5: the fact that the amenorrheicness does not occur or the automaticness does not occur or both is not correct if the tourism does not occur. sent6: the fugalness does not occur if the fishiness does not occur. sent7: the briefing necessity occurs. sent8: the bow does not occur if the tinseling groaner occurs and the mocking occurs. sent9: the fact that the sarcolemmicness occurs hold if the terrestrialness does not occur. sent10: if that the amenorrheicness occurs is not false the fact that the automaticness does not occur but the terrestrialness happens is wrong. sent11: the tourism does not occur and the briefing necessity happens. sent12: if the icebreaker does not occur the winding happens and the fishiness does not occur. sent13: that the sarcolemmicness happens and the terrestrialness occurs yields the non-amenorrheicness. ; $proof$ = 
void -> assump1: Let's assume that the sarcolemmicness happens.; assump1 & sent4 -> int1: the sarcolemmicness and the terrestrialness happens.; int1 & sent13 -> int2: the amenorrheicness does not occur.; int2 -> int3: the amenorrheicness does not occur or the automaticness does not occur or both.; sent11 -> int4: the tourism does not occur.; sent5 & int4 -> int5: the fact that the amenorrheicness does not occur and/or the automatic does not occur is not right.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __PROVED__