Charlie is big. Charlie is not blue. Charlie is not cold. Charlie is quiet. Charlie is not rough. Charlie is not round. Charlie is smart. Fiona is big. Fiona is cold. Fiona is not rough. Fiona is round. Fiona is smart. All smart things are quiet. If something is round and not cold then it is rough. If something is big then it is quiet. All rough, big things are blue. If something is blue and not round then it is big. If something is big and not quiet then it is rough.
Fiona is smart.