Em uma comunidade, todas as pessoas foram identificadas como possuindo uma ou mais que uma dentre as características A, B, C ou D. Em relação a essas características, sabe-se:
• todos que possuem a A também possuem a B. • alguns que possuem a C também possuem a B e também a A. • há quem possua apenas a D, mas não há quem possua apenas a C e a D.

A partir dessas informações, é logicamente verdadeiro que