At: formula imp left sat11131 1. concl: Formula List 2. M: Formula List 3. N: Formula List 4. q: Formula 5. r: Formula 6. a: Assignment 7. a | r FM.a | F FN.a | F Fconcl.a |= F 8. a |= q
FM.a | F a | qr FN.a | F Fconcl.a |= F By: Analyze -2 Generated subgoals: