English ⇄ Chinese Russian +

direct inference stresses
comp.	прямой вывод
math.	непосредственный вывод; прямое умозаключение (непосредственное); непосредственное умозаключение