Anne is blue. Anne is furry. Anne is quiet. Anne is smart. Bob is furry. Bob is round. Bob is smart. Erin is blue. Erin is furry. Erin is green. Erin is round. Erin is smart. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. If something is furry and nice then it is green. Quiet things are nice.
Erin is not nice.