Anne is smart. Bob is furry. Bob is quiet. Bob is red. Bob is rough. Bob is smart. Bob is not white. Erin is red. Erin is rough. Erin is not smart. If Anne is not round then Anne is not furry. If someone is rough and not furry then they are not quiet.
Erin is smart.