Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is smart. Dave is nice. Dave is quiet. Dave is rough. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is smart. All rough things are green. All blue, nice things are green. Smart things are blue.
Dave is not smart.