that the fact that the holdout does not occur but the coloring happens hold is false.
sent1: if the hospice happens and the commenting occurs the depersonalizing does not occur. sent2: that the disembowelling Chile does not occur triggers the radical. sent3: the whitecap is prevented by that the radical or the strategicsness or both happens. sent4: either the non-radicalness or the whitecap or both happens if the holdout occurs. sent5: that both the entomophilousness and the whitecap occurs is not right if that the ordeal does not occur is not incorrect. sent6: that the ordeal does not occur is correct. sent7: not the disembowelling Oregon but the redeeming happens if the depersonalizing does not occur. sent8: the whitecap does not occur if that the strategicsness happens is right. sent9: that the strategicsness does not occur results in that the medium does not occur and the contenting occurs. sent10: if the bow-wow occurs the entomophilousness does not occur and the ordeal does not occur. sent11: that the entomophilousness but not the whitecap occurs is not right if the ordeal does not occur. sent12: that the holdout happens and the color occurs is false. sent13: that the disembowelling Chile happens is not wrong. sent14: the fact that the holdout and the colorness happens is not right if the yielding current does not occur. sent15: the radical occurs if the fact that not the yielding current but the disembowelling Chile happens is false. sent16: that the disembowelling Oregon does not occur triggers that the surfacing occurs and the bow-wow occurs. sent17: that both the entomophilousness and the whitecap happens is not true. sent18: the holdout does not occur if the entomophilousness does not occur. sent19: the strategicsness is prevented by that either the radicalness does not occur or the whitecap happens or both. sent20: the fact that the holdout does not occur and the color occurs is not true if the yielding current does not occur. sent21: if the fact that the entomophilousness happens and the whitecap does not occur does not hold the whitecap happens.
void -> assump1: Let's assume that the fact that the yielding current does not occur but the disembowelling Chile happens is wrong.; sent15 & assump1 -> int1: the radical occurs.; int1 -> int2: the radical and/or the strategicsness happens.; int2 & sent3 -> int3: the whitecap does not occur.; sent11 & sent6 -> int4: that that the entomophilousness occurs and the whitecap does not occur is not right is correct.; sent21 & int4 -> int5: the whitecap occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: not the yielding current but the disembowelling Chile happens.; int7 -> int8: the yielding current does not occur.; int8 & sent20 -> hypothesis;
the holdout does not occur and the coloring occurs.
$hypothesis$ = that the fact that the holdout does not occur but the coloring happens hold is false. ; $context$ = sent1: if the hospice happens and the commenting occurs the depersonalizing does not occur. sent2: that the disembowelling Chile does not occur triggers the radical. sent3: the whitecap is prevented by that the radical or the strategicsness or both happens. sent4: either the non-radicalness or the whitecap or both happens if the holdout occurs. sent5: that both the entomophilousness and the whitecap occurs is not right if that the ordeal does not occur is not incorrect. sent6: that the ordeal does not occur is correct. sent7: not the disembowelling Oregon but the redeeming happens if the depersonalizing does not occur. sent8: the whitecap does not occur if that the strategicsness happens is right. sent9: that the strategicsness does not occur results in that the medium does not occur and the contenting occurs. sent10: if the bow-wow occurs the entomophilousness does not occur and the ordeal does not occur. sent11: that the entomophilousness but not the whitecap occurs is not right if the ordeal does not occur. sent12: that the holdout happens and the color occurs is false. sent13: that the disembowelling Chile happens is not wrong. sent14: the fact that the holdout and the colorness happens is not right if the yielding current does not occur. sent15: the radical occurs if the fact that not the yielding current but the disembowelling Chile happens is false. sent16: that the disembowelling Oregon does not occur triggers that the surfacing occurs and the bow-wow occurs. sent17: that both the entomophilousness and the whitecap happens is not true. sent18: the holdout does not occur if the entomophilousness does not occur. sent19: the strategicsness is prevented by that either the radicalness does not occur or the whitecap happens or both. sent20: the fact that the holdout does not occur and the color occurs is not true if the yielding current does not occur. sent21: if the fact that the entomophilousness happens and the whitecap does not occur does not hold the whitecap happens. ; $proof$ = 
void -> assump1: Let's assume that the fact that the yielding current does not occur but the disembowelling Chile happens is wrong.; sent15 & assump1 -> int1: the radical occurs.; int1 -> int2: the radical and/or the strategicsness happens.; int2 & sent3 -> int3: the whitecap does not occur.; sent11 & sent6 -> int4: that that the entomophilousness occurs and the whitecap does not occur is not right is correct.; sent21 & int4 -> int5: the whitecap occurs.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: not the yielding current but the disembowelling Chile happens.; int7 -> int8: the yielding current does not occur.; int8 & sent20 -> hypothesis; __PROVED__