Anne is blue. Anne is green. Anne is kind. Anne is red. Anne is young. Bob is blue. Bob is rough. Charlie is kind. Charlie is red. Gary is kind. Gary is red. All red people are rough. All young people are kind. If someone is kind and young then they are smart. All young people are kind. Rough people are young. If someone is red and green then they are blue. Smart people are green.
Bob is green.