阅读材料，完成下列要求。

甲、乙、丙、丁四个人的血型各不相同，他们的血型分别是A、B、O、AB型四种中的一种。

甲说：“丙是A型。

乙说：“丁是O型。”

丙说：“如果我是A型，丁就是O型。”

丁说：“我不是O型。

经核查，四个人中只有一个人的说法不真实。

依据材料，判断丁的血型，并运用矛盾律的知识说明你的推理过程。