(SeM) ∴ Some humans are not horses.
(SeM) ∴ Niektorí ľudia nie sú kone.