Anne is green. Charlie is rough. Dave is not blue. Dave is smart. Fiona is not green. Fiona is not smart. Fiona is young. If something is young and not smart then it is nice. All nice, quiet things are green. All smart things are nice. If something is quiet then it is not rough. If something is not nice then it is green. If something is nice and not green then it is not rough.
Charlie is not nice.