Charlie is smart. Erin is red. Gary is not red. Harry is green. If someone is smart and rough then they are red. Smart people are big. Furry people are red. If someone is big then they are red. If someone is red then they are green. If Harry is young then Harry is smart. All young people are not green. If someone is not big then they are not young.
Charlie is not green.