Bob is furry. Bob is kind. Bob is quiet. Bob is smart. Charlie is blue. Charlie is quiet. Erin is furry. Erin is green. Erin is not nice. Erin is smart. Gary is not quiet. Gary is smart. If someone is kind then they are green. If Charlie is blue then Charlie is kind.
Erin is not quiet.