4. Use natural deduction to solve the problem.

From xRxa xRax and Rba, prove xRax

Example question and solution as reference:

From premises xLax xLxa and Lab, prove that Lba.

1. xLax xLxa

2. Lab (Lba)

3. xLax I2

4. xLxa E1,3

5. Lba E4