Anne is kind. Anne is nice. Anne is red. Anne is smart. Anne is young. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Dave is furry. Dave is kind. Dave is nice. Dave is red. Harry is red. Harry is smart. All red things are young. All furry things are blue. All nice things are furry. If Harry is blue and Harry is nice then Harry is red. Blue, young things are red. All kind things are red. If something is kind then it is nice. Blue things are nice.
Dave is not blue.