Anne is kind. Charlie is quiet. Gary is not red. Harry is red. If someone is cold then they are red. If someone is kind then they are green. If someone is kind and not green then they are not smart.
Gary is not red.