Anne is white. Bob is kind. Bob is round. Bob is not smart. Bob is white. Bob is not young. Erin is furry. Erin is kind. Erin is red. Erin is smart. Erin is white. Erin is young. If something is kind and not young then it is red. All smart, white things are furry.
Anne is not white.