Policy: The factory's safety inspector should not approve a new manufacturing process unless it has been used safely for more than a year at another factory or it will demonstrably increase safety at the factory.
Principle (unless = if not)
if a new manufacturing process hasn't been used safely for more than a year safety at another factory → inspector and should not it won't demonstrably approve it increase safety here
Application's Conclusion
The new proposed welding process should be not be approved by the safety inspector.
Application's Evidence (for)
The process cannot be shown to increase safety at the factory.
Evaluate
The policy, in stripped down form, is saying . We could rephrase that as, , which would look like this:
X → Y or Z
Or in the language of the argument:
should → used safely elsewhere approve or will demonstrably help
We are motivated to contrapose this rule for two reasons: 1. We always put the "judgy, normative, evaluative" label on the right side of the arrow, so we want the concept of should/shouldn't on the right.
2. We want the right side of our principle to line up with the conclusion it's designed to support, and the conclusion is that .
So when contrapose, the "or" turns to "and".
not safely used elsewhere should and → not not demonstrably help approve
The application has established the 2nd idea from the trigger. If , then we know "it does not demonstrably increase safety".
But the application failed to establish the 1st idea from the trigger.
Goal
We just need to know that the new welding process .