Charlie is big. Charlie is cold. Charlie is green. Charlie is round. Dave is cold. Dave is green. Dave is not red. Dave is rough. Fiona is not cold. Fiona is quiet. Fiona is red. Fiona is rough. All rough, quiet things are round. If something is green and not rough then it is cold. Round, big things are not red.
Fiona is not rough.