Constructive Dilemma Rule Infere