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