Лань привела Гарри к Мечу. В воспоминаниях, он увидел, что Лань - Патронус Снейпа. (В принципе этого достаточно, чтобы делать вывод - Снейп за нас, инфа о тождестве Патронусов избыточна. Ну ладно, хотела Роулинг подчеркнуть свою излюбленную тему любви). Из диалога Дамблдора и Снейпа следует, что последний любил и все ещё любит Лили (всегда!), с их точки зрения - Патронус является доказательством. Фишка в том, что Гарри, а следовательно и читатели, подобной информацией не владеют. (Более того, если взять за аксиому тождество Патронусов у любящего и любимого, разные Патронусы Гарри и Джинни, Рона и Гермионы наводят на подозрения, а Джеймс, судя по всему, любил самого себя, да и Лили не любила его). Роулинг не даёт в книге однозначной информации, что а)Патронус у того, кто любит тождественен Патронусу любимого; б)у Лили был Патронус лань.
Смотрите, что получается: если мы знаем, что 1)Патронус любящего тождественен Патронусу любимого, 2)у Лили Патронус лань, то, увидев Патронус Снейпа делаем вывод - он любит Лили.
Ели ы знаем, что 1)Патронус любящего тождественен Патронусу любимого, 2)Снейп любит Лили, увидев его Патронус, мы можем предположить, что Патронус Лили лань.
(Если не ошибаюсь, это дедукция)
Если мы знаем, что Снейп любит Лили и видим, что года Патронус тождественен Патронусу Лили, мы можем предположить, что Патронус любящего тождествннен Патронусу любимого.
(Неполная индукция).

Что есть в тексте. Единичный случай, когда у любящей Тонкс поменялся Патронус (причем телесного Патронуса Люпина Гарри не видел, и только из интервью Роулинг мы знаем, что это волк, по ее же словам, РЛ избегал вызывать телесный Патронус), Патронусы любящих пар не совпадают. Патронус Джеймса Прттера - олень. Патронус-лань привёл Гарри к мечу. У Снейпа Патронус - лань (причём единственный раз, когда мы видим, как он вызывает Патронуса - воспоминания, отданные Гарри. Воспоминания человека, обманывавшего Волдеморта!). Из этого можно сделать вывод, что Снейп "за нас" (если допустить истинность воспоминаний). Снейп любил и любит Лили. Из того, что 1)Снейп любит Лили Гарри делает вывод у него такой же Патронус, как у нее, из этого выводит - Патронус Лили-лань, и - коронное заключение - так как у Снейпа такой же Патронус, как у Лили, следует, что он ещё любит. ИМХО не допускайте этого человека к работе следователя! Детективную линию Роулинг запорола.