Anne is kind. Anne is quiet. Anne is red. Dave is cold. Dave is furry. Dave is green. Fiona is cold. Fiona is furry. Fiona is green. Fiona is quiet. Fiona is red. Fiona is rough. If someone is kind then they are rough. If someone is red then they are kind. If someone is red then they are rough. If Anne is quiet then Anne is kind. If Dave is quiet then Dave is cold. If Dave is red and Dave is green then Dave is kind. If someone is rough then they are kind. All furry, green people are kind.
Anne is not rough.