Добавил правило и метод резолюций, остался пример