How to apply indirect proof or conditional proof in philosophy logic

As this shows, once a self-contradiction is shown, the convention for writing an Indirect Proof is to then quit the indented sequence and write just the conclusion, followed by the justification “IP.” This means that the Indirect Proof has been accomplished: by showing that the assumption led to a self-contradiction

Both types of rubrics