Charlie is big. Charlie is furry. Charlie is rough. Charlie is white. Charlie is young. Gary is big. Gary is furry. Gary is red. Gary is white. Gary is young. If something is rough and young then it is red. If Charlie is big then Charlie is red.
Charlie is not furry.