forward chaining

Прямий логічний висновок