Задание: записать рассуждение в логической символике, обосновать выбор логических связок. Если герой жителям городка, то герой положительный. Когда герой
принцессу, он не может жителям городка. Герой отправился принцессу.
Значит, герой не положительный.

x-герой жителям
y-герой принцессу
z- герой положительный