Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is not quiet. Charlie is red. Charlie is rough. Dave is big. Dave is quiet. Dave is red. Erin is not blue. Erin is kind. Erin is red. Fiona is cold. Fiona is kind. Fiona is not red. Rough things are blue. If Erin is red then Erin is big. If Charlie is cold then Charlie is red. If something is cold and not red then it is blue. If Charlie is not red then Charlie is rough. If something is rough and not red then it is big.
Charlie is not cold.