Bob is green. Erin is quiet. Gary is green. Harry is quiet. If Harry is nice then Harry is smart. All white things are green. If something is not red then it is nice. If Bob is white and Bob is green then Bob is smart. If Bob is smart and Bob is white then Bob is green. If something is smart then it is not rough.
Gary is smart.