Charlie is kind. Charlie is quiet. Charlie is not rough. Dave is not big. Dave is cold. Dave is kind. Dave is rough. Dave is round. Dave is smart. Fiona is cold. Fiona is kind. Fiona is quiet. Fiona is not rough. Fiona is round. Fiona is not smart. If someone is not kind then they are rough. If someone is round and not kind then they are quiet. If someone is rough then they are round. If someone is not kind then they are not round. All big people are round. If Dave is round and Dave is rough then Dave is quiet.
Fiona is smart.