Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is rough. Anne is smart. Charlie is green. Charlie is not kind. Dave is blue. Dave is furry. Dave is green. Dave is kind. Dave is nice. Gary is green. Gary is kind. Gary is nice. If someone is smart then they are not kind. If someone is not nice then they are not smart.
Gary is nice.