;;; Dribble file "Q2" started
==================================================
Step 1 [1] 
 
?- proof? * (some x a (f x))
 
1. p * (all x a (f x))
2. q * a

TT0>> answer-sequent 
==================================================
Step 2 [2] 
 
?- proof? * (some x a (f x))
 
1. p * (all x a (f x))
2. q * a

TT0>> some-right 
==================================================
Step 3 [3] 
 
?- 2937? * (f 2940?)
 
1. p * (all x a (f x))
2. q * a

TT0>> all-left 
==================================================
Step 4 [4] 
 
?- 2999? * a
 
1. p * (all x a (f x))
2. q * a

TT0>> xtt 
==================================================
Step 5 [3] 
 
?- 2937? * (f 2940?)
 
1. p * (all x a (f x))
2. (p q) * (f q)
3. q * a

TT0>> xtt 
==================================================
Step 6 [2] 
 
?- q * a
 
1. p * (all x a (f x))
2. q * a

TT0>> xtt 
==================================================
Step 7 [1] 
 
?- (tuple q (p q)) * (some x a (f x))
 
1. (tuple q (p q)) * (some x a (f x))
2. p * (all x a (f x))
3. q * a

TT0>> xtt 
;;; Dribble file "Q2" finished
