Dave is furry. Dave is nice. Dave is quiet. Dave is smart. Gary is big. Gary is furry. Gary is not kind. If someone is quiet and not big then they are nice. Kind people are furry. If Gary is rough and Gary is smart then Gary is nice. If someone is furry and not quiet then they are rough. All quiet people are smart. If someone is rough and not smart then they are furry.
Gary is not rough.