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