the tincture happens if the Jainness happens.
sent1: that the dissenting Netherlander does not occur is not wrong. sent2: the dissenting Netherlander does not occur if the acarpelousness does not occur. sent3: the fact that both the dissenting Netherlander and the Jainness occurs is wrong if the democratization does not occur. sent4: if the acarpelousness happens or the compatibleness occurs or both then the Jainness does not occur. sent5: that the stacking does not occur is prevented by that the dissenting Netherlander does not occur but the democratization happens. sent6: the stacking happens if the dissenting Netherlander happens and the democratization occurs. sent7: if the stacking happens then the tincture occurs. sent8: not the dissenting Netherlander but the democratization happens if the acarpelousness does not occur. sent9: the processing burner does not occur. sent10: if that both the dissenting Netherlander and the Jainness occurs is incorrect then the compatibleness does not occur. sent11: the Jainness occurs if the acarpelousness occurs or the compatibleness happens or both. sent12: the Jainness does not occur if the fact that the compatibleness happens hold. sent13: the fact that either the unhealthfulness happens or the chordalness happens or both is true.
void -> assump2: Let's assume that the Jainness happens.; void -> assump1: Let's assume that the acarpelousness happens.; assump1 -> int1: the acarpelousness or the compatibleness or both happens.; sent4 & int1 -> int2: the Jainness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the acarpelousness does not occur.; sent8 & int4 -> int5: not the dissenting Netherlander but the democratization happens.; sent5 & int5 -> int6: the stack happens.; sent7 & int6 -> int7: the tincturing happens.; [assump2] & int7 -> hypothesis;
the backhanded occurs.
$hypothesis$ = the tincture happens if the Jainness happens. ; $context$ = sent1: that the dissenting Netherlander does not occur is not wrong. sent2: the dissenting Netherlander does not occur if the acarpelousness does not occur. sent3: the fact that both the dissenting Netherlander and the Jainness occurs is wrong if the democratization does not occur. sent4: if the acarpelousness happens or the compatibleness occurs or both then the Jainness does not occur. sent5: that the stacking does not occur is prevented by that the dissenting Netherlander does not occur but the democratization happens. sent6: the stacking happens if the dissenting Netherlander happens and the democratization occurs. sent7: if the stacking happens then the tincture occurs. sent8: not the dissenting Netherlander but the democratization happens if the acarpelousness does not occur. sent9: the processing burner does not occur. sent10: if that both the dissenting Netherlander and the Jainness occurs is incorrect then the compatibleness does not occur. sent11: the Jainness occurs if the acarpelousness occurs or the compatibleness happens or both. sent12: the Jainness does not occur if the fact that the compatibleness happens hold. sent13: the fact that either the unhealthfulness happens or the chordalness happens or both is true. ; $proof$ = 
void -> assump2: Let's assume that the Jainness happens.; void -> assump1: Let's assume that the acarpelousness happens.; assump1 -> int1: the acarpelousness or the compatibleness or both happens.; sent4 & int1 -> int2: the Jainness does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the acarpelousness does not occur.; sent8 & int4 -> int5: not the dissenting Netherlander but the democratization happens.; sent5 & int5 -> int6: the stack happens.; sent7 & int6 -> int7: the tincturing happens.; [assump2] & int7 -> hypothesis; __PROVED__