Anne is smart. Dave is not smart. Fiona is not smart. Gary is nice. If Fiona is blue and Fiona is not nice then Fiona is green. If Dave is nice and Dave is blue then Dave is not kind. Rough things are red. If something is smart and not nice then it is rough. If something is blue and not nice then it is kind. If something is not nice and not red then it is green. If something is not green then it is blue. If something is not green then it is blue.
Dave is nice.