Formalizáld az alábbi mondatot:

Minden zsiráf emlős, de van olyan emlős, amelyiknek nem hosszú a nyaka.

Használd az alábbi jelöléseket:

Univerzum az állatok halmaza

prédikátum jelentése: zsiráf.

prédikátum jelentése: emlős.

prédikátum jelentése: -nek hosszú nyaka van.