inputs: hypothesis: Russian troops withdrew from Latvia. premise: Zotov said that Russia would agree to the complete withdrawal of its troops from Latvia by August 31, 1994 if Latvia allowed Russia to use the Skrunda radar for the next four years and dismantle it within the following 18 months.