Anne is red. Bob is rough. Gary is rough. All red, rough things are blue. If Bob is blue then Bob is smart. Rough things are white. If something is kind then it is blue. All smart, kind things are blue. If something is white then it is kind.
Gary is blue.