Prove or disprove the following proposed inference rules for functional dependencies.

A proof should be made by using the reflexive, augmentation, transitive, decomposition, union, and pseudotransitive rules.

A disproof should be performed by demonstrating a relation instance that satisfies the conditions and functional dependencies on the left hand side of the proposed rule but does not satisfy the dependencies on the right hand side.

No other form of dispoof will be accepted.

{UV -> WR, U -> W} |= {V -> R}