Bob is green. Bob is quiet. Bob is rough. Bob is white. Dave is kind. Dave is nice. Dave is rough. Erin is green. Erin is kind. Erin is smart. Erin is white. Harry is green. Harry is kind. Harry is nice. Harry is rough. Harry is white. Smart, rough things are nice. If Bob is green and Bob is white then Bob is smart. If something is rough then it is green.
Bob is not smart.