Charlie is big. Charlie is young. Gary is big. Gary is blue. Gary is furry. Gary is red. Gary is smart. Gary is white. Gary is young. Harry is big. Harry is blue. Harry is furry. Harry is red. Harry is smart. Harry is white. Harry is young. White, smart things are big. If Harry is young and Harry is smart then Harry is big.
Charlie is not red.