Charlie is not rough. Dave is green. Dave is smart. Fiona is blue. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. Harry is smart. Harry is young. All smart people are young. Young, green people are blue. If someone is not rough then they are green. If someone is young then they are blue. All furry, green people are smart. If someone is green then they are furry. If Charlie is not green then Charlie is not quiet.
Charlie is not blue.