∀x (Country(x) ∧ PossibleEffectiveMonetaryPolicy(x) → SuccessfulInflationControl(x) ∧ StongNationalCurrency(x))
¬(∃x (Country(x) ∧ SuccessfulInflationControl(x) ∧ RegulateExchangeRate(x)))
∀x (IntroductionOfOn(x, embargo, foreightTradeGoods) → SharpDecreasesInExport(x))
∀x (SharpDecreasesInExport(x) → ¬StongNationalCurrency(x))
∀x (InflationControl(x) → StongNationalCurrency(x))
IntroductionOfOn(russia, embargo, foreightTradeGoods)
PossibleEffectiveMonetaryPolicy(russia)