Логическая задача "Перевозчик"

Условие задачи:

Козу не оставлять с капустой.
Волка не оставлять с козой.
В лодке, кроме перевозчика, помещается только одно животное или капуста.