What about this statement Alan.
"Since xyz is positive, two of them aren't negative because a negative times a negative is a positive, and we've already ruled out the option of three."
If we had a negative * a negative * a postitive then xyz would be positive and that is what we want.