Anne is not furry. Bob is red. Charlie is red. If someone is not rough then they are not big. If Bob is white then Bob is not big. If someone is rough and red then they are not white. If someone is not white then they are smart. If someone is smart and not white then they are nice. If someone is big and not white then they are not red.
Charlie is not nice.