KB = P ∧ (¬P ∨ ¬Q ∨ R) ∧ (¬S ∨ Q) ∧ (¬T ∨ Q) ∧ T

α=R
Lấy phủ định mệnh đề α đưa vào tập hợp ta được:
KB = P ∧ (¬P ∨ ¬Q ∨ R) ∧ (¬S ∨ Q) ∧ (¬T ∨ Q) ∧ T ∧ ¬R
với các câu hội:
1.P
2.¬P ∨ ¬Q ∨ R
3.¬S ∨ Q
4.¬T ∨ Q
5.T
6.¬R
Hợp giải các câu theo thứ tự sau:
7.¬Q ∨ R (1, 2)
8.¬T ∨ R (4, 7)
9.¬T (6, 8)
10.{} (5, 9)
Câu rỗng, kết thúc chứng minh.
Vậy α = R được suy diễn từ KB.