Quy tắc suy diễn:

-X≥Y thì X - > Y (qt phản xạ)

-X-- >Y == >XZ-- > YZ( qt tăng)

- X->Y & Y->Z => X ->Z(qt bắc cầu)

- X ->Y & Z ≤Y  => X ->Z (qt chiếu)

- X ->Y & X->Z  => X ->YZ (qt hợp)

-X ->Y & WY->Z => XW ->Z (qt tựa bắc cầu)..

-X-- > Y < == > Y< X+