Все кошки умирают. Сократ мертв. Поэтому Сократ - кошка.