Anne is young. Charlie is young. Erin is kind. Harry is green. Harry is kind. Harry is rough. Harry is round. If Anne is green then Anne is kind. All young, rough things are green. All kind things are red. If Anne is red then Anne is round. All red things are kind. Young things are rough. Round, blue things are red. Round things are blue. Green, kind things are blue.
Charlie is not red.