Charlie is green. Charlie is kind. Charlie is quiet. Dave is big. Dave is cold. Dave is kind. Dave is quiet. Dave is red. Dave is young. Harry is cold. Harry is red. Harry is young. All green, kind things are young. All cold, green things are kind. If Charlie is quiet then Charlie is cold.
Dave is not quiet.