Inference with System W Satisfies Syntax Splitting