that the accusing does not occur and the Coleridgianness does not occur prevents that the emaciating occurs.
sent1: if the spiraling ant occurs then that the acousticness does not occur and the retrieval occurs is wrong. sent2: if the emaciating occurs the fact that the accusing occurs and the Coleridgianness does not occur does not hold. sent3: the fact that both the accusing and the non-Coleridgianness happens does not hold. sent4: not the compatibleness but the peacefulness happens if the draining happens. sent5: if the emaciating occurs then that the accusing does not occur and the Coleridgianness does not occur is not correct. sent6: if the spiraling Germanist does not occur and the spiraling wolf does not occur the payment does not occur. sent7: that the deflating archangel occurs and the emaciating happens is caused by the incompatibleness. sent8: if the referendum but not the deflating Yaounde occurs the colonoscopy happens. sent9: the emaciating does not occur if not the accusing but the Coleridgianness occurs. sent10: the fact that not the accusing but the Coleridgianness happens is not true. sent11: that the accusing does not occur and the Coleridgianness does not occur prevents that the emaciating does not occur. sent12: the draining occurs if the colonoscopy happens. sent13: that the hooking sweetmeat does not occur and the deflating IVP does not occur is false if the slagging anchorage happens.
void -> assump2: Let's assume that the emaciating occurs.; sent5 & assump2 -> int1: the fact that the accusing does not occur and the Coleridgianness does not occur is not true.; void -> assump1: Let's assume that the accusing does not occur and the Coleridgianness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the emaciating does not occur.; [assump1] & int3 -> hypothesis;
the deflating archangel occurs.
$hypothesis$ = that the accusing does not occur and the Coleridgianness does not occur prevents that the emaciating occurs. ; $context$ = sent1: if the spiraling ant occurs then that the acousticness does not occur and the retrieval occurs is wrong. sent2: if the emaciating occurs the fact that the accusing occurs and the Coleridgianness does not occur does not hold. sent3: the fact that both the accusing and the non-Coleridgianness happens does not hold. sent4: not the compatibleness but the peacefulness happens if the draining happens. sent5: if the emaciating occurs then that the accusing does not occur and the Coleridgianness does not occur is not correct. sent6: if the spiraling Germanist does not occur and the spiraling wolf does not occur the payment does not occur. sent7: that the deflating archangel occurs and the emaciating happens is caused by the incompatibleness. sent8: if the referendum but not the deflating Yaounde occurs the colonoscopy happens. sent9: the emaciating does not occur if not the accusing but the Coleridgianness occurs. sent10: the fact that not the accusing but the Coleridgianness happens is not true. sent11: that the accusing does not occur and the Coleridgianness does not occur prevents that the emaciating does not occur. sent12: the draining occurs if the colonoscopy happens. sent13: that the hooking sweetmeat does not occur and the deflating IVP does not occur is false if the slagging anchorage happens. ; $proof$ = 
void -> assump2: Let's assume that the emaciating occurs.; sent5 & assump2 -> int1: the fact that the accusing does not occur and the Coleridgianness does not occur is not true.; void -> assump1: Let's assume that the accusing does not occur and the Coleridgianness does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the emaciating does not occur.; [assump1] & int3 -> hypothesis; __PROVED__