Give a formal proof for the following tautology using the IP rule:

(A B) ^ (B C) (A v B C)

Please provide answer in the format of this example (using inference rules):

1. AVB- CP 2. A P P[for C] - (A VB 1, 3, MT AVB 2, Add False 4, 5, Contr 7. C 3-6, IP QED 1, 2, 7, CP. 1. AVB- CP 2. A P P[for C] - (A VB 1, 3, MT AVB 2, Add False 4, 5, Contr 7. C 3-6, IP QED 1, 2, 7, CP