1. Proofs with >Out > >Out (1) A (2) A>S (3) S>U
(4) U>R R
>Out
>

2. Proofs with >Out > >Out (1) A (2) A>S (3) S>U
(4) U>R R
>Out
>
Proofs with >Out

3. Proofs with >Out > >Out (1) A (2) A>S (3) S>U
(5) S , 1 >O
Proofs with >Out
(1) A
(2) A>S
(3) S>U
(4) U>R R
>Out
>

4. Proofs with >Out > >Out (1) A (2) A>S (3) S>U
(5) S , 1 >O
Proofs with >Out
(1) A
(2) A>S
(3) S>U
(4) U>R R
>Out
>

5. Proofs with >Out > >Out (1) A (2) A>S (3) S>U
(5) S , 1 >O
Proofs with >Out
(1) A
(2) A>S
(3) S>U
(4) U>R R
>Out
>

6. Proofs with >Out > >Out (1) A (2) A>S (3) S>U
(6) U , 5 >O
(5) S , 1 >O
Proofs with >Out
(1) A
(2) A>S
(3) S>U
(4) U>R R
>Out
>

7. Proofs with >Out > >Out (1) A (2) A>S (3) S>U
(6) U , 5 >O
(5) S , 1 >O
Proofs with >Out
(1) A
(2) A>S
(3) S>U
(4) U>R R
>Out
>

8. Proofs with >Out > >Out (5) S 2, 1 >O (6) U 3, 5 >O
(1) A
(2) A>S
(3) S>U
(4) U>R R
>Out
>

9. Proofs with >Out
(1) B
(2) B>(A>T)
(3) A
>Out
> T

10. Proofs with >Out
(1) B
(2) B>(A>T)
(3) A
>Out
> T

11. Proofs with >Out > >Out (1) B (2) B>(A>T) (3) A
(4) A>T , 1 >O T

12. Proofs with >Out > >Out (1) B (2) B>(A>T) (3) A
(4) A>T , 1 >O T

13. Proofs with >Out > >Out (1) B (2) B>(A>T) (3) A
(4) A>T , 1 >O
(5) , 3 >O T

14. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>D
>Out
> D

15. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>D
>Out
> D

16. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>D
>Out
>
(4) C ,1 >O D

17. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>D
>Out
>
(4) C ,1 >O D

18. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>D
>Out
>
(4) C ,1 >O
(5) ,4 >O D

19. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>A
>Out
> B

20. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>A
>Out
>
(4) C ,1 >O B

21. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>A
>Out
>
(4) C ,1 >O B

22. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>A
>Out
>
(4) C ,1 >O
(5) A ,4 >O B

23. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>A
>Out
>
(4) C ,1 >O
(5) A ,4 >O B

24. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>A
>Out
>
(4) C ,1 >O
(5) A ,4 >O
(6) ,5 >O B

25. Proofs with >Out > >Out (1) A>B (2) (A>B)>C
(3) C>A
>Out
>
(4) C ,1 >O
(5) A ,4 >O
(6) ,5 >O B

26. Proofs with >Out > >Out How to do the exercises:
Find a conditional.
Find its antecedent.
Derive the consequent.
Repeat.