Anne is not furry. Charlie is big. Charlie is green. Charlie is quiet. Dave is big. Dave is green. Dave is quiet. Dave is red. Fiona is big. Fiona is furry. Fiona is rough. Fiona is not smart. All smart people are not rough.
Dave is not red.