Anne is furry. Anne is red. Anne is rough. Anne is round. Anne is smart. Charlie is red. Charlie is rough. Charlie is round. Gary is kind. Gary is red. Gary is rough. Gary is smart. Harry is furry. Harry is kind. Harry is red. Red, smart people are round. If someone is young and kind then they are round. If someone is kind and red then they are young. All red, rough people are kind. If someone is rough and kind then they are red. If someone is red and furry then they are smart. If someone is young and red then they are kind. All red people are smart.
Anne is not red.