Anne is rough. Charlie is furry. Charlie is nice. Charlie is red. Charlie is rough. Dave is furry. Dave is green. Gary is blue. Gary is furry. Gary is nice. Gary is quiet. All green, red people are rough. If someone is rough then they are quiet. All blue people are red. If someone is rough and quiet then they are nice. All furry people are blue.
Anne is nice.