Anne is red. Charlie is furry. Charlie is kind. Dave is big. Dave is blue. Dave is green. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is young. If Anne is red then Anne is big. If something is green and red then it is furry. If something is young then it is green. All big things are kind. Furry things are blue. Kind, red things are green. If something is kind then it is green. Blue, red things are furry.
Dave is blue.