Anne is red. Anne is young. Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. If someone is young then they are green. If Anne is blue then Anne is cold. All blue, red people are nice. All young, red people are blue. All cold, green people are young. Blue people are cold. All cold people are blue. If someone is young then they are nice.
Charlie is cold.