Bob is cold. Bob is kind. Bob is round. Charlie is kind. Charlie is rough. Charlie is round. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is young. Gary is cold. Gary is nice. Gary is rough. Gary is round. If something is young and kind then it is red. If something is nice and red then it is young. If something is round then it is young. All kind things are round. If something is nice then it is round. If something is kind then it is round.
Charlie is not red.