Fill in the missing line justification for the proof below:

(R D)

(E R)

[ (E D)

| ~(E D) asm for RA |

E ___________ |

~D 3 NIF |

~R 1, 5 IF THEN

| ~E 2, 6 IF THEN (E D) 3-7 RA (4 contradicts 7)

Group of answer choices 3 NIF 3 NOR 1, 2 OR 1, 2 IF THEN