a | q FM.a | F FN.a | F Fconcl.a |= F & a | r FM.a | F FN.a | F Fconcl.a |= F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F

Repeat (Analyze 0)
THEN
OnHyps [-2;-1;-1] (i.RepeatOrHD i THEN RepeatAndHD i THEN RepeatOrHD i)

1	7. a | q 8. a | r FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
2	7. a | q 8. FM.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
3	7. a | q 8. FN.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
4	7. a | q 8. Fconcl.a |= F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
5	7. FM.a | F 8. a | r FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
6	7. FM.a | F 8. FM.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
7	7. FM.a | F 8. FN.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
8	7. FM.a | F 8. Fconcl.a |= F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
9	7. FN.a | F 8. a | r FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
10	7. FN.a | F 8. FM.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
11	7. FN.a | F 8. FN.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
12	7. FN.a | F 8. Fconcl.a |= F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
13	7. Fconcl.a |= F 8. a | r FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
14	7. Fconcl.a |= F 8. FM.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
15	7. Fconcl.a |= F 8. FN.a | F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
16	7. Fconcl.a |= F 8. Fconcl.a |= F FM.a | F a | q & a | r FN.a | F Fconcl.a |= F
17	7. FM.a | F a | q FM.a | F FN.a | F Fconcl.a |= F
18	7. a | q 8. a | r a | q FM.a | F FN.a | F Fconcl.a |= F
19	7. FN.a | F a | q FM.a | F FN.a | F Fconcl.a |= F
20	7. Fconcl.a |= F a | q FM.a | F FN.a | F Fconcl.a |= F
21	7. FM.a | F a | r FM.a | F FN.a | F Fconcl.a |= F
22	7. a | q 8. a | r a | r FM.a | F FN.a | F Fconcl.a |= F
23	7. FN.a | F a | r FM.a | F FN.a | F Fconcl.a |= F
24	7. Fconcl.a |= F a | r FM.a | F FN.a | F Fconcl.a |= F

About: