Как называется оперирование фактами в соответствии с правилами?
Если не ошибаюсь то Доказательство.
Оперирование факооми это-докозательство