Prove or disprove the following inference rules for functional dependencies. A proof can be made either by a proof argument $($semantically$)$ or by using Amstrong rules $($syntactically$).$ A disproof should be done by demonstrating a relation instance that satisfies the conditions and functional dependencies in the left hand side of the inference rule but do not satisfy the conditions or dependencies in the right hand side.