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

transitive law of implication מתח
.תִכנו	закон транзитивности импликации (ssn)