Anne is red. Charlie is cold. Gary is rough. Harry is rough. All red things are blue. If something is young then it is blue. Round things are red. If Harry is blue then Harry is red. If something is kind and rough then it is young. If something is blue and red then it is round. All red things are young. All young, blue things are rough.
Anne is not red.