[tinco]

No, I think one would assume they are all directives, and therefore the computer would complain about the third one which is a contradiction.

[twic]

Exactly. To a non-programmer, even a mathematician (especially a mathematician), the example is a cousin of:

  Men are mortal
  Socrates is a man
  Socrates is not mortal

Which doesn't assign anything to anyone, it just isn't true.