that the avoidance happens causes that the operationalistness does not occur or that the clinging rhombus does not occur or both.
sent1: the operationalistness happens or the clinging rhombus does not occur or both. sent2: the operationalistness does not occur or the clinging rhombus happens or both if the avoidance happens. sent3: if that that the resecting black but not the perception happens does not hold is true the clinging rhombus does not occur. sent4: the resecting Pepin occurs and the coppering occurs if the chiasmalness does not occur. sent5: that the operationalistness occurs is not incorrect if the avoidance and the Mongol happens. sent6: the hating does not occur. sent7: if the resecting Pepin happens then the Mongol does not occur and the operationalistness does not occur. sent8: the operationalistness happens. sent9: the operationalistness does not occur if both the avoidance and the Mongolness happens. sent10: if the avoidance occurs then the operationalistness happens and/or the clinging rhombus does not occur. sent11: if the clinging rhombus does not occur the heliocentricness and the avoidance occurs. sent12: if the obliging occurs then that the Cyprianness does not occur and the sloping does not occur is not right. sent13: the Mongolness occurs. sent14: the non-operationalistness and/or the clinging rhombus occurs. sent15: that the non-Mongolness and the non-operationalistness occurs prevents that the answering does not occur. sent16: if the deforming does not occur that the resecting black occurs but the perception does not occur is wrong. sent17: if that the Cyprianness does not occur and the sloping does not occur is not right the chiasmalness does not occur. sent18: the fact that the obliging occurs is not wrong if the ring-around-the-rosy occurs.
void -> assump1: Let's assume that the avoidance happens.; assump1 & sent13 -> int1: the avoidance occurs and the Mongolness occurs.; sent9 & int1 -> int2: the operationalistness does not occur.; int2 -> int3: the operationalistness does not occur or the clinging rhombus does not occur or both.; [assump1] & int3 -> hypothesis;
the heliocentricness happens and the answering occurs.
$hypothesis$ = that the avoidance happens causes that the operationalistness does not occur or that the clinging rhombus does not occur or both. ; $context$ = sent1: the operationalistness happens or the clinging rhombus does not occur or both. sent2: the operationalistness does not occur or the clinging rhombus happens or both if the avoidance happens. sent3: if that that the resecting black but not the perception happens does not hold is true the clinging rhombus does not occur. sent4: the resecting Pepin occurs and the coppering occurs if the chiasmalness does not occur. sent5: that the operationalistness occurs is not incorrect if the avoidance and the Mongol happens. sent6: the hating does not occur. sent7: if the resecting Pepin happens then the Mongol does not occur and the operationalistness does not occur. sent8: the operationalistness happens. sent9: the operationalistness does not occur if both the avoidance and the Mongolness happens. sent10: if the avoidance occurs then the operationalistness happens and/or the clinging rhombus does not occur. sent11: if the clinging rhombus does not occur the heliocentricness and the avoidance occurs. sent12: if the obliging occurs then that the Cyprianness does not occur and the sloping does not occur is not right. sent13: the Mongolness occurs. sent14: the non-operationalistness and/or the clinging rhombus occurs. sent15: that the non-Mongolness and the non-operationalistness occurs prevents that the answering does not occur. sent16: if the deforming does not occur that the resecting black occurs but the perception does not occur is wrong. sent17: if that the Cyprianness does not occur and the sloping does not occur is not right the chiasmalness does not occur. sent18: the fact that the obliging occurs is not wrong if the ring-around-the-rosy occurs. ; $proof$ = 
void -> assump1: Let's assume that the avoidance happens.; assump1 & sent13 -> int1: the avoidance occurs and the Mongolness occurs.; sent9 & int1 -> int2: the operationalistness does not occur.; int2 -> int3: the operationalistness does not occur or the clinging rhombus does not occur or both.; [assump1] & int3 -> hypothesis; __PROVED__