Charlie is blue. Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Erin is blue. Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is red. Erin is smart. All green people are blue. If someone is red and cold then they are nice. If someone is quiet and red then they are blue. Smart people are red. If someone is blue then they are smart. If Erin is nice then Erin is blue.
Erin is not quiet.