r.N),concl > )7. a |= < r.(M @ N),concl >
a 
Full( < q.(M @ N),concl > )r.N),concl > )7. a |= < r.(M @ N),concl >
8. a |= < q.(M @ N),concl >
FM.a |
F a | q & a | r FN.a | F Fconcl.a |= F r.N),concl > ) FM.a | F a | q & a | r FN.a | F Fconcl.a |= F | 1 | 6. a: Full( < M @ (qr.N),concl > ) 7. a |= < r.(M @ N),concl > a Full( < q.(M @ N),concl > ) |
| 2 | 6. a: Full( < M @ (qr.N),concl > ) 7. a |= < r.(M @ N),concl > 8. a |= < q.(M @ N),concl > FM.a | F a | q & a | r FN.a | F Fconcl.a |= F |
About:
 |  |  |  |  |  |