Bob is blue. Bob is cold. Bob is green. Bob is kind. Bob is red. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is red. Erin is blue. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is young. Cold, green people are nice. If Bob is red then Bob is kind. All kind people are young. All cold, green people are blue. If someone is green and young then they are cold. If someone is cold and young then they are green. If someone is kind and cold then they are red. If Bob is green and Bob is kind then Bob is cold.
Charlie is not green.