the geographicness does not occur.
sent1: the coloration occurs if the chaoticness occurs. sent2: if the trailing happens the coloration occurs. sent3: if that the rekindling leg and the partaking occurs does not hold then the partaking does not occur. sent4: that the trailing does not occur and the beanball does not occur is caused by the non-Rabelaisianness. sent5: the uplifting and/or the lace happens. sent6: if that that not the alteration but the civility occurs is not correct is not false the Rabelaisianness does not occur. sent7: if the biologicalness does not occur the chaoticness happens and the coloration occurs. sent8: the corporateness happens. sent9: either the Hittiteness occurs or the wrath happens or both. sent10: that the coloration happens and the beanball occurs results in that the geographicness does not occur. sent11: if the partaking does not occur and the lithomanticness does not occur then the biologicalness does not occur. sent12: if the sigmoidoscopy happens then the callus happens. sent13: that the geographicness happens is right if not the trailing but the chaoticness occurs. sent14: either the trailing or the chaoticness or both occurs.
sent14 & sent2 & sent1 -> int1: the coloration happens.;
the geographicness happens.
$hypothesis$ = the geographicness does not occur. ; $context$ = sent1: the coloration occurs if the chaoticness occurs. sent2: if the trailing happens the coloration occurs. sent3: if that the rekindling leg and the partaking occurs does not hold then the partaking does not occur. sent4: that the trailing does not occur and the beanball does not occur is caused by the non-Rabelaisianness. sent5: the uplifting and/or the lace happens. sent6: if that that not the alteration but the civility occurs is not correct is not false the Rabelaisianness does not occur. sent7: if the biologicalness does not occur the chaoticness happens and the coloration occurs. sent8: the corporateness happens. sent9: either the Hittiteness occurs or the wrath happens or both. sent10: that the coloration happens and the beanball occurs results in that the geographicness does not occur. sent11: if the partaking does not occur and the lithomanticness does not occur then the biologicalness does not occur. sent12: if the sigmoidoscopy happens then the callus happens. sent13: that the geographicness happens is right if not the trailing but the chaoticness occurs. sent14: either the trailing or the chaoticness or both occurs. ; $proof$ = 
sent14 & sent2 & sent1 -> int1: the coloration happens.; __UNKNOWN__