結果 : valid inference rules