Anne is not furry. Anne is red. Anne is rough. Anne is white. Charlie is red. Charlie is not round. Charlie is not young. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is young. Harry is not rough. Harry is round. Harry is young. If Erin is young and Erin is furry then Erin is white. If something is not rough then it is red.
Anne is not nice.