2010年某大型煤矿发生了一起重大事故，事发现场的人有以下的断定： 矿工甲：发生事故的原因是设备问题。 矿工乙：有人违反了操作规程，但发生事故的原因不是设备问题。 矿工丙：如果发生事故的原因是设备问题，则有人违反了操作规程。