Anne is big. Anne is furry. Anne is red. Anne is smart. Anne is white. Dave is not big. Dave is furry. Dave is not red. Dave is rough. Dave is smart. Dave is white. Dave is young. If someone is red then they are rough.
Anne is not rough.