Anne is cold. Anne is green. Anne is kind. Anne is quiet. Dave is smart. Gary is cold. Gary is green. Gary is smart. Harry is big. Harry is red. Red, green things are kind. All quiet, big things are cold. If Dave is kind and Dave is quiet then Dave is cold. All big things are green. Quiet, green things are red. All green things are quiet.
Dave is green.