Здравствуйте, koenjihyakkei, Вы писали:

K>Почему же в начальном варианте дедукция не срабатывает?

Смотрите секцию Explanation. Там, как я понял, как раз ваш случай описывается.