Условие:
Оцените правильность утверждения своего варианта исходя из здравого смысла (с позиций формальной логики). Затем формализуйте утверждение и с помощью таблицы истинности проверьте первоначальный вывод:
Поскольку каждый бегемот – это гиппопотам, а каждый гиппопотам – бегемот, то бегемот и гиппопотам – одно и то же.
Решение:
р бегемот
q - гиппопотам
Основание 
каждый бегемот это гиппопотам, а каждый гиппопотам бегемот
Следствие бегемот и гиппопотам одно и то же
