Anne is cold. Fiona is not nice. Gary is red. Harry is nice. If something is furry then it is not green. If something is not nice then it is green. If something is not cold then it is not smart.
Gary is not nice.