F
hyp.a |
F
a | q 
Fhyp.a | F a |= r FM.a |= F FN.a |= F FM.a |= F a |= q
r FN.a |= F a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F Fhyp.a | F FM.a |= F a |= qr FN.a |= F a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F | 1 | 7. Fhyp.a | F a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F |
| 2 | 7. FM.a |= F a |= qr FN.a |= F a | q Fhyp.a | F a |= r FM.a |= F FN.a |= F |
About:
 |  |