the resisting Sur happens and the makeshift happens.
sent1: the strangulating anorexia does not occur. sent2: that the sumo occurs and the makeshift occurs hold if the resisting Sur does not occur. sent3: the fact that the hackwork does not occur and/or the unchangeableness happens does not hold. sent4: if the fact that the approachableness does not occur and the resisting televangelism does not occur is not true the resisting televangelism happens. sent5: if that either the corporatist does not occur or the deserving Paiwanic happens or both is not right then the sumo does not occur. sent6: the fact that the approachableness does not occur and the resisting televangelism does not occur is false if the resisting logicism occurs. sent7: if the digitalization does not occur then the resisting televangelism does not occur. sent8: the resisting feeder does not occur if the barnburner does not occur. sent9: the resisting logicism happens. sent10: that the osteopathy does not occur leads to that the strangulating whiff occurs and the optimization occurs. sent11: the fact that the resisting Zapus occurs is not false. sent12: that the sumo does not occur yields that the resisting Sur and the makeshift occurs. sent13: the digitalization does not occur if either the non-corporatistness or the deserving Paiwanic or both happens.
void -> assump1: Let's assume that the non-corporatistness and/or the deserving Paiwanic occurs.; sent13 & assump1 -> int1: the digitalization does not occur.; int1 & sent7 -> int2: the resisting televangelism does not occur.; sent6 & sent9 -> int3: the fact that the approachableness does not occur and the resisting televangelism does not occur is not correct.; sent4 & int3 -> int4: the resisting televangelism occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the corporatistness does not occur and/or the deserving Paiwanic happens does not hold.; int6 & sent5 -> int7: that the sumo does not occur is true.; int7 & sent12 -> hypothesis;
the detention does not occur or the strangulating bran occurs or both.
$hypothesis$ = the resisting Sur happens and the makeshift happens. ; $context$ = sent1: the strangulating anorexia does not occur. sent2: that the sumo occurs and the makeshift occurs hold if the resisting Sur does not occur. sent3: the fact that the hackwork does not occur and/or the unchangeableness happens does not hold. sent4: if the fact that the approachableness does not occur and the resisting televangelism does not occur is not true the resisting televangelism happens. sent5: if that either the corporatist does not occur or the deserving Paiwanic happens or both is not right then the sumo does not occur. sent6: the fact that the approachableness does not occur and the resisting televangelism does not occur is false if the resisting logicism occurs. sent7: if the digitalization does not occur then the resisting televangelism does not occur. sent8: the resisting feeder does not occur if the barnburner does not occur. sent9: the resisting logicism happens. sent10: that the osteopathy does not occur leads to that the strangulating whiff occurs and the optimization occurs. sent11: the fact that the resisting Zapus occurs is not false. sent12: that the sumo does not occur yields that the resisting Sur and the makeshift occurs. sent13: the digitalization does not occur if either the non-corporatistness or the deserving Paiwanic or both happens. ; $proof$ = 
void -> assump1: Let's assume that the non-corporatistness and/or the deserving Paiwanic occurs.; sent13 & assump1 -> int1: the digitalization does not occur.; int1 & sent7 -> int2: the resisting televangelism does not occur.; sent6 & sent9 -> int3: the fact that the approachableness does not occur and the resisting televangelism does not occur is not correct.; sent4 & int3 -> int4: the resisting televangelism occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: that the corporatistness does not occur and/or the deserving Paiwanic happens does not hold.; int6 & sent5 -> int7: that the sumo does not occur is true.; int7 & sent12 -> hypothesis; __PROVED__