Dave is big. Dave is blue. Dave is green. Dave is nice. Dave is red. Dave is rough. Dave is smart. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is rough. Gary is green. Gary is nice. Gary is red. All smart, rough people are green. If Gary is nice then Gary is smart.
Fiona is smart.