Anne is cold. Anne is quiet. Anne is red. Anne is round. Dave is blue. Dave is cold. Dave is quiet. Dave is red. Dave is rough. Dave is round. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is rough. If Dave is big and Dave is cold then Dave is rough.
Fiona is not red.