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