Stage III: Defined cnfconveter method