Bob is green. Bob is round. Charlie is kind. Charlie is quiet. Charlie is young. Gary is kind. Gary is not red. If Gary is young then Gary is kind. If Bob is kind and Bob is not round then Bob is not quiet. If someone is young and not round then they are cold. If someone is young and not round then they are kind. If someone is green and red then they are young. Cold people are red. Green, red people are kind. If someone is green then they are not cold.
Charlie is red.