the documentariness prevents that the angling conima does not occur.
sent1: that the hatlessness occurs is caused by the burdening. sent2: the reddening turnbuckle happens. sent3: if the reddening carnelian does not occur the angling conima happens. sent4: that both the turning and the cytogeneticsness occurs prevents that the polypectomy occurs. sent5: the orbitalness happens. sent6: the suspension happens. sent7: if the level does not occur then the fact that the fact that the angling conima does not occur but the reddening carnelian happens hold is wrong. sent8: the angling trail happens if the bunking happens. sent9: that the documentariness and the reddening turnbuckle happens prevents that the reddening carnelian occurs. sent10: the reddening papyrus occurs. sent11: if the reddening turnbuckle does not occur both the catecheticalness and the documentariness occurs. sent12: the courtship occurs if the capsularness does not occur.
void -> assump1: Let's assume that the documentary happens.; assump1 & sent2 -> int1: both the documentary and the reddening turnbuckle occurs.; sent9 & int1 -> int2: the reddening carnelian does not occur.; sent3 & int2 -> int3: the angling conima happens.; [assump1] & int3 -> hypothesis;
the catecheticalness happens.
$hypothesis$ = the documentariness prevents that the angling conima does not occur. ; $context$ = sent1: that the hatlessness occurs is caused by the burdening. sent2: the reddening turnbuckle happens. sent3: if the reddening carnelian does not occur the angling conima happens. sent4: that both the turning and the cytogeneticsness occurs prevents that the polypectomy occurs. sent5: the orbitalness happens. sent6: the suspension happens. sent7: if the level does not occur then the fact that the fact that the angling conima does not occur but the reddening carnelian happens hold is wrong. sent8: the angling trail happens if the bunking happens. sent9: that the documentariness and the reddening turnbuckle happens prevents that the reddening carnelian occurs. sent10: the reddening papyrus occurs. sent11: if the reddening turnbuckle does not occur both the catecheticalness and the documentariness occurs. sent12: the courtship occurs if the capsularness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the documentary happens.; assump1 & sent2 -> int1: both the documentary and the reddening turnbuckle occurs.; sent9 & int1 -> int2: the reddening carnelian does not occur.; sent3 & int2 -> int3: the angling conima happens.; [assump1] & int3 -> hypothesis; __PROVED__