Charlie is quiet. Charlie is red. Charlie is smart. Dave is kind. Dave is quiet. Dave is smart. Erin is blue. Erin is cold. Erin is kind. Erin is quiet. Cold people are red. All red people are quiet. All big people are cold. If someone is cold then they are kind. If Erin is kind then Erin is big. If someone is big then they are cold.
Charlie is not cold.