В ситуации можно выделить двойное свойство: сторожа поблагодарили за отличную работу, но и уволили. Значит, его работа была недобросовестной. Используем принцип разрешения двойного свойства во времени: если сейчас работа добросовестная, значит, в другое время была недобросовестной. А другое время – это вчера или завтра. Но начальник вряд ли мог предсказать будущее. Остается – вчера. А что делал вчера сторож?! Если приснился сон, – значит, спал. Сон на рабочем месте мог быть поводом для увольнения.