Tous les chats sont mortels, Socrate est mortel, donc Socrate est un chat.