Charlie is not blue. Dave is not green. Fiona is rough. Smart things are not blue. If something is red then it is not green. All green things are not kind. Green, red things are smart. All rough things are green. If Fiona is not green and Fiona is not smart then Fiona is not rough.
Charlie is not smart.