The goal is to prove that this argument is valid. There is no restriction on which rules you use. This proof can be done in different ways, for instance there is a solution without CP or IP. - (A B) > C, (A B) V -C A = B