Anne is blue. Anne is furry. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is round. Charlie is not white. Charlie is young. Dave is rough. Dave is round. Dave is white. Dave is young. If something is white and young then it is blue. If Dave is rough and Dave is not kind then Dave is white. If something is not rough and not kind then it is blue.
Charlie is not furry.