Since 'then' is an adverb, 1 does not contain two main clauses; however 2 and 1a each do contain two main clauses, and if 'then' is not a conjunction, then 1 implies a causal relation.

--language user, but not prescriptivist