Anne is cold. Anne is nice. Anne is smart. Gary is big. Gary is nice. Harry is kind. Harry is smart. If something is green and kind then it is not big. All cold, big things are smart. If something is round then it is green. If something is not big then it is round. If Harry is cold then Harry is green. If something is cold and not green then it is round.
Gary is not smart.