Charlie is blue. Charlie is green. Charlie is nice. Charlie is red. Charlie is rough. Charlie is smart. Charlie is white. Fiona is blue. Fiona is green. Fiona is nice. Fiona is red. Fiona is rough. Fiona is smart. Fiona is white. Smart people are nice. Rough, blue people are white. If Charlie is nice then Charlie is blue.
Fiona is smart.