Запрограммировать задачку Эйнштейна на логику

Парень шел к любимой с цветами, по пути споткнулся, упал и потерял сознание. Проснулся он понял что забыл как зовут любимую. Он помнит 5 имен: Таня Лена Аня Катя Марина. одна из них его любимая
Условия
Если он любит Таню, то любит Аню или Лену
Если любит Лену, то любит Аню и Катю
Если любит Аню или Катю, то НЕ любит Марину
Если не любит Катю, то он любит Таню и Марину
ответ: Кат
ПОМОГИТЕ ЗАПРОГРАММИРОВАТЬ ЗАДАЧКУ В КОНСОЛЕ В СРЕДЕ С#