Prove

(True alternative)

with no assumptions.

We prove (True alternative) by natural deduction.

We prove (True alternative) by proving the first alternative negating the other(s).

We assume

(True alternative.neg.1) .

We now show

(True alternative.C) .

Formula (True alternative.C) is true because assumption (True alternative.neg.1) is not true.