At: formula imp right sat21 1. hyp: Formula List 2. M: Formula List 3. N: Formula List 4. q: Formula 5. r: Formula 6. a: Assignment 7. a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F
Fhyp.a | F FM.a |= F a |= qr FN.a |= F By: Analyze -1 Generated subgoals: