Anne is blue. Anne is kind. Anne is not round. Charlie is blue. Charlie is furry. Charlie is rough. Charlie is white. Dave is smart. Harry is furry. Harry is rough. If Dave is smart and Dave is rough then Dave is furry. If someone is white and not round then they are not kind. If someone is white and furry then they are not kind.
Charlie is smart.