sentence1: The materials then are searched for counterevidence and subsidiary or branching paths are laid out and true is true and true is true and true is true and true is true and true is true .
sentence2: Subsidiary or branching paths are laid out after the materials are searched for counterevidence.