deducible rules

Выводимые правила