Anne is green. Anne is not kind. Anne is rough. Bob is kind. Bob is rough. Bob is smart. Bob is young. All smart, green people are red. Nice, rough people are kind. If someone is not young then they are red. All kind people are smart. All kind people are green. If Anne is young then Anne is red.
Bob is not smart.