Anne is cold. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Bob is cold. Bob is green. Bob is kind. Bob is rough. Dave is kind. Dave is nice. Dave is quiet. Dave is rough. Erin is green. Erin is quiet. Erin is smart. Kind, green things are cold. If something is nice and kind then it is cold. Quiet, green things are nice. All smart, rough things are green. All cold, rough things are kind. If Bob is rough and Bob is green then Bob is kind. If Erin is rough and Erin is green then Erin is cold. If something is nice and smart then it is rough.
Dave is not kind.