Ну, если уж подходить к нему так строго, то вообще говоря, профессор прав: формальная логика не знает и не учитывает интонаций, двойного дна, аллюзий и прочего поэтизма.  А значит, с точки зрения логики, двойное утверждение никогда не даст отрицания.