1. (30pts) The following proof is missing rule labels and line citations.

Add them in, where appropriate.

1

2

3

4

5

6

7

10

11

12

13

(L= (BVG))

((RF)K-L)

(-F&W)

(BVG)

(L=(BVG))

L

((RF)&-L)

R

| ((RF)&¬L)

(RF)

F

(-F&W)

15

16

17

18 (-B&-)

OOOOOOOOOOO