Just to be absolutely pedantic, "one of the balls is red and the other is blue" IS a statement you can make. However, it's surprisingly not equivalent to ass

Just to be absolutely pedantic, "one of the balls is red and the other is blue" IS a statement you can make. However, it's surprisingly not equivalent to asserting (xor (and (red? 'left) (blue? 'right)) (and (blue? 'left) (red? 'right))) That is, "one is red and one is blue" does not mean that it's the case that either has a definite color. In terms of oft-used Bell pair states to demonstrate what I'm talking about, you can definitely say that total S^2=0.