Grupa reguł jest zapętlona, jeżeli w czasie przeprowadzenia rozumowania wykorzystującego te reguły tworzą one cykl, to znaczy konkluzja pierwszej jest warunkiem drugiej, itd. aż do ostatniej reguły, której konkluzja jest warunkiem