Charlie is blue. Charlie is kind. Charlie is round. Gary is blue. Gary is furry. Gary is not kind. Gary is red. If something is not round then it is red. If something is not furry then it is smart. If Charlie is round and Charlie is smart then Charlie is red.
Charlie is red.