Bob is smart. Bob is white. Bob is young. Erin is green. Erin is red. Erin is rough. Erin is smart. Fiona is smart. Fiona is white. Harry is red. Harry is smart. Harry is young. White people are blue. All rough people are blue. All rough people are green. Red people are smart. Young, white people are red. If Harry is young and Harry is smart then Harry is white. Blue people are red. If someone is blue then they are smart.
Harry is not red.