Charlie is red. Charlie is not white. Erin is green. Gary is cold. Gary is not smart. Harry is rough. Harry is white. All red, smart people are rough. If Harry is smart then Harry is cold. If Erin is quiet and Erin is rough then Erin is green. All rough people are green. Green people are red. If Gary is rough and Gary is not smart then Gary is cold. If someone is smart and not red then they are cold. If someone is not cold then they are not quiet.
Erin is not quiet.