either the masking forest occurs or the chinking does not occur or both.
sent1: that the surcharging happens is brought about by that the compound does not occur. sent2: the teeoff does not occur. sent3: if the stocktaking does not occur then both the rocketing and the teeoff happens. sent4: the wringing but not the surcharging happens if the teeoff occurs. sent5: not the teeoff but the wringing happens if the rocketing does not occur. sent6: if the surcharging happens then the embrowning rum occurs. sent7: the stocktaking does not occur if the custom-made occurs. sent8: the rocket does not occur. sent9: if the teeoff does not occur and the wringing occurs then the embrowning rum does not occur. sent10: that if the surcharging does not occur then the embrowning rum does not occur and/or the compound happens is not incorrect. sent11: if the chink does not occur the compounding does not occur. sent12: if the fact that the masking forest occurs is true then the compoundness does not occur. sent13: that the custom-madeness happens hold if the expansiveness occurs.
void -> assump1: Let's assume that either the masking forest occurs or the chink does not occur or both.; assump1 & sent12 & sent11 -> int1: the compounding does not occur.; int1 & sent1 -> int2: the surcharging occurs.; int2 & sent6 -> int3: the embrowning rum occurs.; sent5 & sent8 -> int4: not the teeoff but the wringing occurs.; sent9 & int4 -> int5: the embrowning rum does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis;
the masking forest happens or the chink does not occur or both.
$hypothesis$ = either the masking forest occurs or the chinking does not occur or both. ; $context$ = sent1: that the surcharging happens is brought about by that the compound does not occur. sent2: the teeoff does not occur. sent3: if the stocktaking does not occur then both the rocketing and the teeoff happens. sent4: the wringing but not the surcharging happens if the teeoff occurs. sent5: not the teeoff but the wringing happens if the rocketing does not occur. sent6: if the surcharging happens then the embrowning rum occurs. sent7: the stocktaking does not occur if the custom-made occurs. sent8: the rocket does not occur. sent9: if the teeoff does not occur and the wringing occurs then the embrowning rum does not occur. sent10: that if the surcharging does not occur then the embrowning rum does not occur and/or the compound happens is not incorrect. sent11: if the chink does not occur the compounding does not occur. sent12: if the fact that the masking forest occurs is true then the compoundness does not occur. sent13: that the custom-madeness happens hold if the expansiveness occurs. ; $proof$ = 
void -> assump1: Let's assume that either the masking forest occurs or the chink does not occur or both.; assump1 & sent12 & sent11 -> int1: the compounding does not occur.; int1 & sent1 -> int2: the surcharging occurs.; int2 & sent6 -> int3: the embrowning rum occurs.; sent5 & sent8 -> int4: not the teeoff but the wringing occurs.; sent9 & int4 -> int5: the embrowning rum does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> hypothesis; __DISPROVED__