要确定代码的输出结果，我们需要逐步分析代码的执行逻辑。

```python
a = 1
b = 2
c = 3

if a == b: # 检查 a 是否等于 b
b += 1
if b > c:
c += 1
else:
c = a
elif a < b: # 检查 a 是否小于 b
a += 1 # a 增加 1, 所以 a 变为 2
if a == b: # 因为 a 现在是 2，等于 b
c = 1 # 所以 c 变为 1

# 输出 a + b + c
print(a + b + c)
```

### 详细分析过程：
1. 初始化变量：
- `a = 1`
- `b = 2`
- `c = 3`

2. 条件判断：
- `if a == b`: 这个条件为假，因为 `1 != 2`，所以跳过这个分支。
- `elif a < b`: 这个条件为真，因为 `1 < 2`，所以进入这个分支。
- 在这个分支中，首先执行 `a += 1`，所以 `a` 变为 `2`。
- 然后检查 `if a == b`，这个条件现在为真，因为 `2 == 2`。
- 因此执行 `c = 1`，将 `c` 的值从 `3` 改为 `1`。

3. 计算结果：
- `a + b + c = 2 + 2 + 1 = 5`

因此，代码的输出结果是 `5`，正确答案是 D: 5。