the fact that either the plowing does not occur or the boost occurs or both does not hold if the fact that the indication occurs is not wrong.
sent1: either the destaining charmer occurs or the justness happens or both. sent2: if the theocraticness does not occur then the vibration does not occur and/or the Episcopalness happens. sent3: that the plowing does not occur and/or the boosting occurs is incorrect if the tumbling does not occur. sent4: if the listening occurs the anthropophagy does not occur and the Manxness does not occur. sent5: if the recission happens the theocraticness does not occur. sent6: the Shuhaness occurs. sent7: the ford happens. sent8: both the listening and the tumble happens if the plowing does not occur. sent9: if either the vibration does not occur or the Episcopalness happens or both the therapeuticsness happens. sent10: if the Manxness or the listening or both happens the tumbling does not occur. sent11: that the fording happens and the Shuhaness occurs prevents that the wince occurs. sent12: that the security does not occur is triggered by that the wincing does not occur and the basketball does not occur. sent13: if that the Manx does not occur is correct then the marsupialness but not the indication happens. sent14: the fact that the shooting occurs or the reimbursing rain-wash occurs or both hold. sent15: if the non-elysianness and the reimbursing mercilessness occurs the basketball does not occur. sent16: that the entericness does not occur and the boost does not occur is not correct if the therapeuticsness happens. sent17: the plowing does not occur or the boosting occurs or both. sent18: if the security does not occur then the recission occurs and the axiologicalness occurs.
void -> assump2: Let's assume that the indication happens.; void -> assump1: Let's assume that the Manxness does not occur.; sent13 & assump1 -> int1: the marsupialness occurs but the indication does not occur.; int1 -> int2: the indication does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Manx occurs hold.; int4 -> int5: either the Manx occurs or the listening occurs or both.; sent10 & int5 -> int6: the tumble does not occur.; sent3 & int6 -> int7: the fact that the plowing does not occur and/or the boosting occurs is not right.; [assump2] & int7 -> hypothesis;
the anthropophagy does not occur.
sent7 & sent6 -> int8: the fording occurs and the Shuhaness happens.; sent11 & int8 -> int9: the wince does not occur.;
$hypothesis$ = the fact that either the plowing does not occur or the boost occurs or both does not hold if the fact that the indication occurs is not wrong. ; $context$ = sent1: either the destaining charmer occurs or the justness happens or both. sent2: if the theocraticness does not occur then the vibration does not occur and/or the Episcopalness happens. sent3: that the plowing does not occur and/or the boosting occurs is incorrect if the tumbling does not occur. sent4: if the listening occurs the anthropophagy does not occur and the Manxness does not occur. sent5: if the recission happens the theocraticness does not occur. sent6: the Shuhaness occurs. sent7: the ford happens. sent8: both the listening and the tumble happens if the plowing does not occur. sent9: if either the vibration does not occur or the Episcopalness happens or both the therapeuticsness happens. sent10: if the Manxness or the listening or both happens the tumbling does not occur. sent11: that the fording happens and the Shuhaness occurs prevents that the wince occurs. sent12: that the security does not occur is triggered by that the wincing does not occur and the basketball does not occur. sent13: if that the Manx does not occur is correct then the marsupialness but not the indication happens. sent14: the fact that the shooting occurs or the reimbursing rain-wash occurs or both hold. sent15: if the non-elysianness and the reimbursing mercilessness occurs the basketball does not occur. sent16: that the entericness does not occur and the boost does not occur is not correct if the therapeuticsness happens. sent17: the plowing does not occur or the boosting occurs or both. sent18: if the security does not occur then the recission occurs and the axiologicalness occurs. ; $proof$ = 
void -> assump2: Let's assume that the indication happens.; void -> assump1: Let's assume that the Manxness does not occur.; sent13 & assump1 -> int1: the marsupialness occurs but the indication does not occur.; int1 -> int2: the indication does not occur.; assump2 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that the Manx occurs hold.; int4 -> int5: either the Manx occurs or the listening occurs or both.; sent10 & int5 -> int6: the tumble does not occur.; sent3 & int6 -> int7: the fact that the plowing does not occur and/or the boosting occurs is not right.; [assump2] & int7 -> hypothesis; __PROVED__