Se X é y ou A é z, M não é r e S não é p. Dessa premissa pode-se corretamente concluir que,