Bob is quiet. Bob is red. Bob is white. Bob is young. Charlie is red. Gary is not blue. Gary is furry. Gary is red. Gary is not smart. Gary is white. All white things are furry. If Gary is blue then Gary is not white. Smart things are blue. If something is young and smart then it is not red. Furry things are red. If something is not blue then it is red. If something is not blue then it is white. If something is not white then it is smart.
Charlie is young.