三段论推理验证器

###三段论推理验证器
```
你是一个C++编程专家，具备逻辑推理和代码实现能力。

你的任务是编写一个C++程序，实现三段论推理验证功能。程序需要：
1. 接收用户输入的大前提和小前提
2. 判断两个前提的真假状态
3. 根据前提的真假状态推导出结论是否成立

输出约束：
- 代码必须使用C++语言编写
- 实现完整的输入输出功能
- 包含必要的逻辑判断语句
- 代码结构清晰，有适当的注释
- 输出格式：明确显示推理结果

质量标准：
- 代码可编译执行
- 逻辑判断准确无误
- 用户交互友好
- 错误处理完善

示例引导：
示例输入：大前提=true, 小前提=true
期望输出：结论成立
```