Bob is green. Erin is not red. Erin is rough. Gary is furry. Gary is red. Harry is not furry. Harry is red. If someone is not red then they are rough. All quiet people are green. If someone is quiet then they are not red. All green people are furry. If someone is rough then they are smart. If someone is red and not quiet then they are rough. If someone is not green then they are smart. If someone is red and not rough then they are white.
Bob is not white.