甲、乙、丙、丁四组参加ACM竞赛，若甲组获奖，则乙组未获奖；若丙组获奖，则乙组也获奖；若甲组未获奖，则丁组获奖。令A表示甲组获奖，B表示乙组获奖，C表示丙组获奖，D表示丁组获奖，试形式化翻译上述事实并利用CP规则论证：如果丙组得奖，那么丁组也会获奖。