Anne is cold. Anne is furry. Anne is green. Anne is kind. Anne is quiet. Anne is red. Anne is rough. Dave is cold. Dave is kind. Dave is rough. Harry is green. Harry is red. If something is quiet then it is furry. All kind, furry things are quiet. If Anne is green then Anne is kind. Green, quiet things are cold. All furry, red things are cold. If Dave is red and Dave is cold then Dave is quiet. If something is cold then it is red. If something is green and furry then it is rough.
Dave is not green.