At: formula and sat lemma 1 1
1. a: Assignment
2. q: Formula
3. r: Formula
4. n: 
5. (q under a) = n
6. m:
7. (r under a) = m
n 
m = 3
n = 3 & m = 3
By:
Thin -3
THEN
Thin -1
THEN
Repeat (ThreeInd -1)
THEN
AbReduce 0
Generated subgoals:| 1 | 4. 3 = 3
3 = 3 |
| 2 | 4. 3 = 3
3 = 3 |
About:
