They rode in single file down the path leading to the village.
They were riding double file towards the village. 
mnli hypothesis: They were riding double file towards the village.  premise: They rode in single file down the path leading to the village.