This purported natural deduction proof is erroneous:

Please identify which line or lines contain errors.

Group of answer choices

line 6

line 5

line 8

line 12

line 3

line 13

line 11

line 10

line 2

line 7

1 VxVy(Rxy (Rxx + x = y))) 2 Vy(Ray (Raa > a = y)) Rab (Raa a= b) 3 3 4 Rab 5 Raa a= b 6 a= a 7 Raa 8 a= b 9 Rab 10 Rab 11 Raa a= b 12 Vy(Ryy y = b) VxVy(Ryy + y = x) 13