Bob is rough. Dave is furry. Dave is red. Erin is furry. Erin is quiet. Gary is cold. Gary is red. All big things are rough. All big things are quiet. If something is rough then it is quiet. If Bob is green and Bob is cold then Bob is rough. Quiet, rough things are cold. Furry, red things are rough.
Gary is not rough.