Charlie is blue. Charlie is green. Charlie is rough. Dave is big. Dave is green. Erin is big. Erin is blue. Erin is green. Erin is rough. Harry is big. Harry is blue. Harry is cold. Harry is green. Harry is quiet. Young, green things are quiet. Quiet things are green. All quiet things are blue. All cold things are rough. All big things are young. Blue things are cold. All blue things are quiet. If Charlie is green and Charlie is quiet then Charlie is blue. If something is rough and not young then it is not big.
Charlie is cold.