k + n < m + l;

Из условий k > l и n > m, складывая их, получаем k + n > l + m. Следовательно, k + n < m + l ложно.