Esto es, no es claro si la primera premisa es cierta.