Anne is cold. Bob is nice. Bob is rough. Charlie is rough. Dave is big. Dave is cold. Dave is nice. If something is cold and green then it is quiet. If Bob is smart then Bob is cold. Smart, cold things are green. If something is quiet and smart then it is nice. Smart things are rough. Smart, quiet things are big. If something is rough then it is smart. If something is big and green then it is rough.
Bob is not cold.