请看范例如下：
- 拆分并重写公式（ii）：(-AVB) (iv)
- 合并公式（iv）和（i）：(B∨C) (v)
- 拆分并重写公式（iii）：(Aν-C) (vi)
4.合并公式（vi）和（v）：(AVB) (vii)
5.合并公式（vii）和（iv）：B (viii)
经过推理，我们最终得到结论B，即鲍勃有罪。(有趣的是，即使根据已知条件并不能推出艾丽斯或卡罗尔是否有罪，但我们仍可通过符号逻辑判定鲍勃有罪。)
与代数的情况类似，在处理符号逻辑问题时，仅需少量的规则，就足以从已知条件中获取所需的结论。(有关上述示例中使用的两个规则的更多细节，请参见下文。）这其实也是符号处理的过程：我们从给定的字符串开始，例如“(A⊃B)；A;(B⊃C)”，按照某些既定规则进行处理，最终得到另一串字符“C”。我们当然更加乐于见到这样的结果。
人工智能的进化
126