New strategy for automated hazard analysis of chemical plants. Part 2: Reasoning algorithm and case study · Study