Se citesc n reguli de forma pi->pk, unde pi, pk sunt propozitii.Interpretarea este urmatoarea : daca pi este adevarata, atunci pk este adevarata.Se citesc x si y cu semnificatia de propozitii (aflatae in multimea xelor care apar in cadrul celor n reguli).Este adevarata regula x->y(adica daca propozitia x este adevarata, atunci propozitia y este)?In caz afirmativ se va da demonstratia care utilizeaza un numar minim de reguli. Exemplu n=4 1->2, 2->3, 3->5, 1->5.Raspunsul va fi da, iar demonstratia va fi data de regula 1->5.