English ⇄ Arabic Chinese Chinese Taiwan Chinese simplified Czech Danish Dutch English Finnish French German Greek Hebrew Italian Japanese Korean Malay Polish Portuguese Russian Spanish Swedish Thai Turkish Ukrainian

inference rule
abbr.	deduction rule (ssn); derivation rule (ssn); rule of derivation (ssn); rule of inference (ssn)