Charlie is not cold. Charlie is furry. Charlie is kind. Charlie is rough. Charlie is smart. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is rough. Dave is round. Dave is smart. Fiona is cold. Fiona is rough. Fiona is round. Fiona is smart. If something is kind and not round then it is big. If Fiona is cold and Fiona is smart then Fiona is not kind. If something is not big and not rough then it is kind.
Fiona is not smart.