Логика Сделать вывод с помощью обращения предикату из следующих посылов: Носороги обитают в Африке.
Носороги находятся в Африке. В Африке есть носороги.