слишком строго.
пункт 5 говорит что D есть, а пункт 2 что D может быть, а может нет. Это не противоречие, а скорее пояснение
Пункт 5 говорит, что если D нет, то Е точно нет.
Пункт 2 говорит, что если D нет, то Е точно есть.
Т.о., когда D нет, возникает противоречие.
Отсюда делаем вывод, что D точно есть. И комбинация АВЕ быть не может.