natural inference

Мат. естественный вывод