An expectation is established that is not fulfilled; instead, something unusual, odd, or puzzling follows.
Meaning based translation does not define incongruity as a sub-type of conjoined propositions.
The more she studied, the less she remembered.
None. See Additive