אנגלית ⇄ רוסית +

conclusions derived out of inference rules מתח
.בינה	выводы, полученные на основе правил логического вывода (Alex_Odeychuk)