[4507] Se l'affermazione 'In tutte le famiglie che posseggono almeno due animali, vi è almeno un cane' è vera, allora necessariamente:
| una famiglia deve sempre avere almeno un animale | |
| una famiglia non può avere due cani | |
| se una famiglia ha due gatti, allora ha anche almeno un cane | |
| una famiglia non può avere solo un gatto |