 Créer une déclaration compte tenu des prémisses et des conditions prévues.
 Prémisse : Tous les chiens sont des mammifères\nCondition : Tous les chats sont des mammifères
 Par conséquent, tous les chats sont des chiens.