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