Does 'The materials then are searched for counterevidence and subsidiary or branching paths are laid out.' logically negate the premise 'No materials are searched for counterevidence.'
The materials then are searched for counterevidence and subsidiary or branching paths are laid out.###No materials are searched for counterevidence.