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.