Anne is blue. Anne is green. Anne is nice. Anne is red. Anne is round. Dave is cold. Dave is furry. Dave is green. Dave is nice. Dave is round. Harry is blue. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is red. Nice things are cold. Cold things are blue. All furry, round things are red. If something is blue then it is green. If Dave is green then Dave is blue. All green, blue things are red.
Dave is green.