the black-and-whiteness occurs.
sent1: the allowableness occurs but the congratulation does not occur. sent2: the fact that the colloquium happens is not false if the briefing sainfoin happens. sent3: if the fencing does not occur then the fact that the javelin occurs and/or the impinging Donatist occurs is not correct. sent4: the fact that not the redeye but the canonistness happens does not hold if the fact that the tannicness does not occur is right. sent5: the impinging CRT does not occur and the fencing does not occur if the canonistness does not occur. sent6: if the fact that either the javelin happens or the impinging Donatist happens or both is not right then the stableness does not occur. sent7: if the perusing jail does not occur then that the fact that the vacuuming taxability but not the briefing fire-on-the-mountain happens does not hold is right. sent8: the vacuuming taxability occurs but the briefing fire-on-the-mountain does not occur. sent9: that the slavery occurs is caused by the concentration. sent10: the probating does not occur. sent11: if the perusing hellion happens the commission occurs. sent12: the non-black-and-whiteness is prevented by that the commissioning occurs. sent13: if the gravure happens the aquiferousness happens. sent14: if the lust occurs then the vacuuming taxability does not occur but the briefing fire-on-the-mountain occurs. sent15: if the fact that not the redeye but the canonistness occurs is incorrect then the canonistness does not occur. sent16: if the colloquium occurs then the fact that the impinging country does not occur but the tannicness occurs does not hold. sent17: if the fact that the impinging country does not occur but the tannicness happens is not right then the tannicness does not occur. sent18: the perusing hellion occurs if the demobilization happens and the probating does not occur. sent19: if the stableness does not occur the argumentativeness and the perusing tremor occurs. sent20: if the vacuuming taxability does not occur then the exponentialness occurs and the briefing sainfoin occurs. sent21: the fact that the domesticness but not the lobectomy occurs is false. sent22: the demobilization is caused by that the perusing jail occurs. sent23: the fact that the commission does not occur but the trichroism happens does not hold if that the fact that the argumentativeness does not occur is not false does not hold. sent24: the briefing fire-on-the-mountain does not occur. sent25: if the perusing jail does not occur the fact that both the vacuuming taxability and the briefing fire-on-the-mountain occurs is incorrect. sent26: that the vacuuming taxability happens and the briefing fire-on-the-mountain happens is false. sent27: that the perusing jail does not occur brings about that the black-and-whiteness does not occur.
void -> assump1: Let's assume that that the perusing jail does not occur is right.; sent7 & assump1 -> int1: the fact that the vacuuming taxability but not the briefing fire-on-the-mountain occurs is incorrect.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the perusing jail occurs.; int3 & sent22 -> int4: that the demobilization occurs is not wrong.; int4 & sent10 -> int5: that the demobilization but not the probating happens hold.; int5 & sent18 -> int6: the perusing hellion happens.; int6 & sent11 -> int7: the commissioning happens.; int7 & sent12 -> hypothesis;
that the black-and-whiteness does not occur hold.
$hypothesis$ = the black-and-whiteness occurs. ; $context$ = sent1: the allowableness occurs but the congratulation does not occur. sent2: the fact that the colloquium happens is not false if the briefing sainfoin happens. sent3: if the fencing does not occur then the fact that the javelin occurs and/or the impinging Donatist occurs is not correct. sent4: the fact that not the redeye but the canonistness happens does not hold if the fact that the tannicness does not occur is right. sent5: the impinging CRT does not occur and the fencing does not occur if the canonistness does not occur. sent6: if the fact that either the javelin happens or the impinging Donatist happens or both is not right then the stableness does not occur. sent7: if the perusing jail does not occur then that the fact that the vacuuming taxability but not the briefing fire-on-the-mountain happens does not hold is right. sent8: the vacuuming taxability occurs but the briefing fire-on-the-mountain does not occur. sent9: that the slavery occurs is caused by the concentration. sent10: the probating does not occur. sent11: if the perusing hellion happens the commission occurs. sent12: the non-black-and-whiteness is prevented by that the commissioning occurs. sent13: if the gravure happens the aquiferousness happens. sent14: if the lust occurs then the vacuuming taxability does not occur but the briefing fire-on-the-mountain occurs. sent15: if the fact that not the redeye but the canonistness occurs is incorrect then the canonistness does not occur. sent16: if the colloquium occurs then the fact that the impinging country does not occur but the tannicness occurs does not hold. sent17: if the fact that the impinging country does not occur but the tannicness happens is not right then the tannicness does not occur. sent18: the perusing hellion occurs if the demobilization happens and the probating does not occur. sent19: if the stableness does not occur the argumentativeness and the perusing tremor occurs. sent20: if the vacuuming taxability does not occur then the exponentialness occurs and the briefing sainfoin occurs. sent21: the fact that the domesticness but not the lobectomy occurs is false. sent22: the demobilization is caused by that the perusing jail occurs. sent23: the fact that the commission does not occur but the trichroism happens does not hold if that the fact that the argumentativeness does not occur is not false does not hold. sent24: the briefing fire-on-the-mountain does not occur. sent25: if the perusing jail does not occur the fact that both the vacuuming taxability and the briefing fire-on-the-mountain occurs is incorrect. sent26: that the vacuuming taxability happens and the briefing fire-on-the-mountain happens is false. sent27: that the perusing jail does not occur brings about that the black-and-whiteness does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the perusing jail does not occur is right.; sent7 & assump1 -> int1: the fact that the vacuuming taxability but not the briefing fire-on-the-mountain occurs is incorrect.; int1 & sent8 -> int2: this is contradiction.; [assump1] & int2 -> int3: the perusing jail occurs.; int3 & sent22 -> int4: that the demobilization occurs is not wrong.; int4 & sent10 -> int5: that the demobilization but not the probating happens hold.; int5 & sent18 -> int6: the perusing hellion happens.; int6 & sent11 -> int7: the commissioning happens.; int7 & sent12 -> hypothesis; __PROVED__