1. Diagram : Task 1 Proof Version 1

2. Diagram : Task 1 Proof Version 2

3. Diagram : Task 4 Part 1 A56 A26 A55 S61 S62 S63 S64 S65 Resolve Factor
Paramodulate
S62
S63
S64
S65

4. Diagram : Task 4 Part 2
A58 A6
A43
A13
A59
S68
S66
S69
S67

5. Diagram : Initial Setup
Rail 1
Rail 3
Train 1
Train 2
Rail 2
Rail 4

6. Diagram : Layout 1 : Situation 1
Rail 1
Rail 2
Train 1
Rail 4
Rail 3
Train 2

7. Diagram : Layout 1 : Situation 2
Rail 1
Rail 2
Train 1
Rail 4
Rail 3
Train 2

8. Task 9 Diagram : Layout 2 : Situation 1
Rail 1
Rail 3
Train 1
Train 2
Rail 2
Rail 4

9. Task 4 Diagram : Layout 2 : Situation 2
Rail 1
Rail 3
Train 1
Train 2
Rail 2
Rail 4

10. Task 4 Diagram : Layout 2 : Situation 1
Rail 1
Rail 3
Train 1
Rail 2
Rail 4
Train 2

11. Task 4 Diagram : Layout 2 : Situation 2
Rail 1
Rail 3
Train 1
Rail 2
Rail 4
Train 2

12. Task 4 Diagram : Layout 2 : Situation 1
Rail 1
Rail 3
Rail 2
Rail 4
Train 1
Train 2

13. Task 4 Diagram : Layout 2 : Situation 1
Rail 1
Rail 3
Train 1
Rail 2
Rail 4
Train 2

14. Diagram : Layout 1
Rail 1
Rail 2
Train 1
Rail 4
Rail 3
Train 2

15. Diagram : Layout 1
Rail 1
Rail 2
Train 1
Train 2
Rail 4
Rail 3