Anne is rough. Anne is young. Charlie is nice. Charlie is white. Dave is big. Dave is blue. Dave is furry. Dave is white. Dave is young. Harry is blue. Harry is rough. Harry is young. If something is nice and furry then it is white. If something is rough then it is big. All furry things are blue. If something is blue then it is nice. Young, big things are furry. If Harry is not white then Harry is furry.
Charlie is not furry.