Anne is smart. Bob is rough. Bob is white. Dave is blue. Dave is smart. Gary is blue. Gary is red. Smart things are rough. All kind things are red. All rough things are kind. If Anne is young then Anne is red. If something is red and white then it is young. If something is smart and red then it is blue. Young things are smart.
Gary is not blue.