Inference Axioms

• if Y ⊆ X, then X → Y
• if X → Y, then XW → Y and/or XW → YW
• if X → Y and Y → Z, then X → Z
• if X → Y and YW → Z, then XW → Z
• if X → Z and X → Y, then X → YZ
• if X → YZ, then X → Y and X → Z