Se A não é azul, então B é amarelo. Se B não é amarelo, então C é verde. Se A é azul, então C não é verde. Logo, tem-se obrigatoriamente que