Charlie is green. Dave is blue. Dave is cold. Dave is furry. Dave is rough. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Harry is blue. Harry is furry. Harry is green. Harry is rough. Harry is round. Cold people are nice. If someone is nice then they are green. Blue, rough people are nice. If someone is round and rough then they are green. If someone is green then they are cold. All blue people are cold. All green people are rough. If someone is blue and green then they are furry.
Dave is not green.