Dave is green. Erin is not blue. Erin is rough. Erin is young. Fiona is green. Fiona is not rough. Fiona is not young. If something is smart then it is young. If something is white and blue then it is rough. If Erin is green then Erin is white.
Dave is not rough.