Em uma festa, há uma enorme quantidade de balões coloridos (laranjas, azuis, vermelhos e verdes), grandes ou pequenos, cheios ou murchos. É possível observar que: todo balão laranja é grande; alguns balões pequenos são azuis; alguns balões vermelhos são murchos; nenhum balão murcho é azul; todo balão verde é cheio; e todo balão grande é cheio.