Charlie is big. Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Dave is rough. Erin is big. Erin is nice. Erin is quiet. Erin is red. Erin is rough. Gary is red. Gary is rough. Gary is white. White people are red. If someone is red and white then they are big. If someone is quiet and big then they are cold. All rough people are quiet. If someone is cold then they are big. If Dave is quiet then Dave is white. If someone is red and nice then they are cold. All quiet, red people are rough.
Dave is cold.