Anne is green. Bob is smart. Fiona is green. Gary is red. All quiet people are white. If someone is smart then they are rough. If someone is white then they are red. All smart, red people are rough. If someone is rough then they are quiet. If Gary is quiet then Gary is smart.
Gary is not white.