Anne is red. Anne is white. Bob is quiet. Bob is rough. Bob is white. Bob is young. Fiona is young. Gary is quiet. Gary is rough. Gary is young. All smart people are nice. All white, quiet people are nice. If Fiona is nice and Fiona is young then Fiona is red. Young people are white. All nice, white people are red. All nice, white people are rough. If someone is white then they are rough. Red people are smart. Rough people are red.
Fiona is not smart.