From the general statements:
No water is green
Sam has a green liquid
And assuming water is a liquid, we use deductive reasoning as follows:
If no water is green, it follows that a green liquid is not water.
If Sam has a green liquid and a green liquid is not water, then:
Sam's liquid is not water
