Charlie is big. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is round. Charlie is smart. Fiona is big. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. Cold things are round. If Fiona is round and Fiona is cold then Fiona is big. All big things are kind.
Fiona is not smart.