if that the edibleness does not occur is not false then the coursing occurs and the protrusion happens.
sent1: the stylelessness occurs and the couvade occurs. sent2: that the stylelessness happens and the dacoity occurs if the surficialness does not occur hold. sent3: the proliferating icepick and the security happens. sent4: if the snicking diazoxide does not occur the snicking Polo and the coursing occurs. sent5: the protrusion occurs if the zakat does not occur and the edibleness does not occur. sent6: if the immunity and the one-upmanship occurs then the snicking diazoxide does not occur. sent7: the gripe does not occur. sent8: the thermometry occurs and the computerization occurs. sent9: the snicking entree and the proliferating jostle occurs. sent10: the snicking Plectophera does not occur. sent11: the immunity occurs and the one-upmanship occurs. sent12: the zakat does not occur but the unfitness happens. sent13: if both the snicking Druze and the falsifying occurs the haggle does not occur. sent14: if the discontinuance does not occur then both the poll and the disorderliness happens.
sent12 -> int1: the fact that the zakat does not occur is right.; void -> assump1: Let's assume that the edibleness does not occur.; int1 & assump1 -> int2: the zakat does not occur and the edibleness does not occur.; int2 & sent5 -> int3: the protrusion occurs.; sent6 & sent11 -> int4: the snicking diazoxide does not occur.; sent4 & int4 -> int5: the snicking Polo and the coursing happens.; int5 -> int6: the coursing happens.; int3 & int6 -> int7: the coursing happens and the protrusion occurs.; [assump1] & int7 -> hypothesis;
$hypothesis$ = if that the edibleness does not occur is not false then the coursing occurs and the protrusion happens. ; $context$ = sent1: the stylelessness occurs and the couvade occurs. sent2: that the stylelessness happens and the dacoity occurs if the surficialness does not occur hold. sent3: the proliferating icepick and the security happens. sent4: if the snicking diazoxide does not occur the snicking Polo and the coursing occurs. sent5: the protrusion occurs if the zakat does not occur and the edibleness does not occur. sent6: if the immunity and the one-upmanship occurs then the snicking diazoxide does not occur. sent7: the gripe does not occur. sent8: the thermometry occurs and the computerization occurs. sent9: the snicking entree and the proliferating jostle occurs. sent10: the snicking Plectophera does not occur. sent11: the immunity occurs and the one-upmanship occurs. sent12: the zakat does not occur but the unfitness happens. sent13: if both the snicking Druze and the falsifying occurs the haggle does not occur. sent14: if the discontinuance does not occur then both the poll and the disorderliness happens. ; $proof$ = 
sent12 -> int1: the fact that the zakat does not occur is right.; void -> assump1: Let's assume that the edibleness does not occur.; int1 & assump1 -> int2: the zakat does not occur and the edibleness does not occur.; int2 & sent5 -> int3: the protrusion occurs.; sent6 & sent11 -> int4: the snicking diazoxide does not occur.; sent4 & int4 -> int5: the snicking Polo and the coursing happens.; int5 -> int6: the coursing happens.; int3 & int6 -> int7: the coursing happens and the protrusion occurs.; [assump1] & int7 -> hypothesis; __PROVED__