Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is smart. Harry is furry. Harry is quiet. Harry is red. Harry is white. If something is white then it is red. All kind, green things are red. If Bob is furry then Bob is smart.
Harry is not smart.