Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is red. Dave is smart. Dave is white. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is smart. Fiona is white. All big, red things are green. If something is not kind then it is smart. If Fiona is kind and Fiona is not smart then Fiona is white.
Fiona is smart.