Anne is nice. Bob is red. Bob is rough. Charlie is big. Charlie is not rough. Charlie is smart. Harry is furry. Harry is nice. Harry is red. Harry is rough. If Bob is red then Bob is furry. All big, round people are nice. All big people are round. If someone is nice then they are smart. If someone is furry then they are big. Furry, round people are rough. If Harry is furry and Harry is not big then Harry is smart.
Bob is not nice.