Anne is big. Anne is blue. Anne is furry. Anne is quiet. Anne is red. Anne is smart. Anne is young. Bob is big. Bob is blue. Bob is red. Bob is smart. Erin is furry. Erin is not quiet. Erin is not red. Erin is smart. Erin is young. If Bob is big and Bob is not young then Bob is red. All blue things are furry. All quiet, big things are smart.
Erin is not furry.