Charlie is kind. Charlie is nice. Charlie is red. Charlie is smart. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is young. Harry is cold. Harry is kind. Harry is nice. Harry is red. Harry is smart. If someone is smart then they are quiet. If someone is kind and red then they are quiet. Young, red people are cold. All nice, red people are young. All cold people are red. Smart, quiet people are red.
Charlie is not cold.