Anne is furry. Anne is green. Anne is nice. Anne is red. Charlie is red. Erin is furry. Harry is big. All big things are furry. Furry, quiet things are green. If Harry is red and Harry is green then Harry is nice. All furry things are quiet. If something is red then it is big. If Anne is young then Anne is quiet. If something is green and furry then it is young.
Erin is not nice.