Anne is cold. Anne is rough. Anne is young. Bob is red. Bob is not rough. Dave is young. Erin is young. If something is smart and cold then it is red. If Erin is young and Erin is cold then Erin is rough. If something is smart then it is quiet. If something is green and not cold then it is smart. If something is not young then it is quiet. If Dave is not young and Dave is not quiet then Dave is green. If something is not green and not cold then it is smart. If something is young and not smart then it is not green.
Bob is green.