[tex]X\rightarrow Y,Y\rightarrow Z \Rightarrow X\rightarrow Z[/tex]

[tex]X\rightarrow Z , X\rightarrow W\Rightarrow X\rightarrow WZ[/tex]

[tex]X\rightarrow WZ\Rightarrow XZ\rightarrow WZ[/tex]

[tex]XZ\rightarrow WZ\Rightarrow XZ\rightarrow W[/tex]