Cho F = { AB--> C, B--> DE, CD--> EK, CE--> GH, G--> AC }
Chứng minh AB-->EG
Ta có:
B-->DE
suy ra B-->E
suy ra AB-->E (1)
AB-->C (2)
Từ (1) & (2) ⇒ AB-->CE (3)
Ta lại có: CE-->GH suy ra CE-->G (4)
Vậy: (3) & (4): ⇒ AB--> G (5)
Từ (1) và (5): AB-->EG (đpcm).