Anne is furry. Anne is red. Anne is white. Charlie is rough. Dave is big. Dave is furry. Dave is not rough. Dave is smart. Dave is white. Fiona is furry. If Anne is not cold then Anne is rough. If someone is red and not rough then they are white.
Anne is rough.