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

case of derived rules of inference מתח
.תִכנו	случай производных правил вывода (ssn)