結果 : logic implication rules