the unselfishness does not occur.
sent1: the fact that the chromatographicness does not occur hold if the fact that the dissimilarness occurs and the chromatographicness happens is not true. sent2: if the submersion occurs the unselfishness does not occur and the trivalentness does not occur. sent3: if the hangover occurs the barking Donbass happens. sent4: both the high-riseness and the chromatographicness happens. sent5: if the high-riseness occurs then the unselfishness occurs. sent6: the chromatographicness occurs. sent7: both the high-rise and the commutation happens if the chromatographicness does not occur.
sent4 -> int1: the high-riseness happens.; sent5 & int1 -> hypothesis;
the commutation occurs.
$hypothesis$ = the unselfishness does not occur. ; $context$ = sent1: the fact that the chromatographicness does not occur hold if the fact that the dissimilarness occurs and the chromatographicness happens is not true. sent2: if the submersion occurs the unselfishness does not occur and the trivalentness does not occur. sent3: if the hangover occurs the barking Donbass happens. sent4: both the high-riseness and the chromatographicness happens. sent5: if the high-riseness occurs then the unselfishness occurs. sent6: the chromatographicness occurs. sent7: both the high-rise and the commutation happens if the chromatographicness does not occur. ; $proof$ = 
sent4 -> int1: the high-riseness happens.; sent5 & int1 -> hypothesis; __DISPROVED__