reasoning technique

Метод (автоматических) рассуждений