Charlie is big. Charlie is cold. Charlie is not green. Charlie is quiet. Charlie is not rough. Charlie is smart. Charlie is white. Fiona is big. Fiona is cold. Fiona is green. Fiona is quiet. Fiona is rough. If Fiona is cold and Fiona is white then Fiona is smart. All quiet people are white. If Fiona is white then Fiona is quiet.
Fiona is smart.