Anne is nice. Anne is red. Anne is white. Bob is furry. Bob is not nice. Bob is not quiet. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is not round. Charlie is white. Charlie is young. All nice things are round. If something is young and not white then it is round. If something is round and white then it is not young. If something is young and not furry then it is not white. If something is nice then it is round. Round things are not young.
Bob is red.