推論規則 - 他の言語