Anne is cold. Anne is nice. Bob is quiet. Bob is rough. Dave is nice. Gary is cold. Gary is nice. All rough things are cold. All quiet, green things are rough. If something is green then it is quiet. All nice things are red. If Bob is nice then Bob is cold. If Bob is rough then Bob is red. White, quiet things are nice. Red things are green.
Bob is rough.