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

rule of conditional proof מתח
.מָתֵי	правило условного доказательства