Logik, bevisträd

Jag har svårt att förstå det här bevisträdet, jag förstår inte icke-introduktionen. Visst kan man bara komma fram till icke-A, om A fanns med bland ens ostrukna antaganden? Här gör det väl inte det.