Anne is furry. Anne is not nice. Anne is not quiet. Anne is red. Anne is not smart. Bob is furry. Bob is not red. Charlie is not nice. Charlie is smart. Erin is quiet. Quiet people are furry. Nice people are not big. All smart people are quiet.
Bob is not nice.