Semi-formelt 1. Alle som har har mindst en dom i sindet, har sprog. (præmis) 2. Ingen dyr har sprog. (præmis) 3. ⊢ Ingen dyr har mindst en dom i sindet. (1, 2) 4. Mindst et dyr har viden. (præmis) 5. Hvis ingen dyr har mindst en dom i sindet, så har ingen dyr viden om…