Bob is big. Bob is cold. Charlie is green. Charlie is quiet. Charlie is not rough. Dave is big. Dave is blue. Erin is not cold. Erin is furry. Erin is quiet. If something is quiet then it is big. If Charlie is cold then Charlie is blue. All big, cold things are rough. If something is furry then it is not green. If Dave is big and Dave is cold then Dave is green. If something is rough and big then it is furry.
Bob is not rough.