Anne is blue. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is smart. Dave is furry. Dave is green. Dave is kind. Dave is red. Dave is smart. Gary is blue. Gary is red. Gary is smart. Red things are smart. If something is smart and kind then it is green. All red things are kind.
Gary is green.