Sample solution

You do not necessarily have to start with your proof using premise no. 1 in the given problem. You can use any other premises in the given if you think that these are needed to complete your solution. You just have to specify the premise no. or nos. and the abbreviated rule in the other column corresponding to the premise that was added.