Bob is cold. Bob is green. Bob is kind. Bob is red. Bob is rough. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is young. Erin is cold. Erin is green. Erin is quiet. Gary is red. All red, cold people are young. If someone is quiet and kind then they are green. If someone is young then they are quiet. All rough people are red. Quiet, green people are kind. If someone is young and kind then they are cold. If Charlie is green and Charlie is young then Charlie is rough. All kind people are green.
Charlie is not cold.