Charlie is blue. Charlie is cold. Charlie is not nice. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is round. Dave is round. Gary is blue. Gary is red. Harry is cold. Harry is nice. Harry is quiet. Harry is red. Harry is rough. Harry is round. All quiet people are round. If Gary is rough and Gary is round then Gary is quiet. If someone is nice and quiet then they are round. Nice, red people are round. All red, blue people are rough. If Gary is cold then Gary is not quiet. If Dave is cold and Dave is nice then Dave is red. If Gary is cold and Gary is not blue then Gary is round.
Dave is round.