At:
vertex-count-less
1
1.
the_graph: Graph
2.
the_obj: GraphObject(the_graph)
3.
P: Vertices(the_graph)
4.
Q: Vertices(the_graph)
5.
x:Vertices(the_graph). P(x) 
Q(x)
6.
x:Vertices(the_graph). 
P(x) & Q(x)
7.
z: Vertices(the_graph) List
8.
z1: Vertices(the_graph) List
9.
no_repeats(Vertices(the_graph);z1)
10.
x:Vertices(the_graph). (x 
z1) 
Q(x)
11.
no_repeats(Vertices(the_graph);z)
12.
x:Vertices(the_graph). (x z) P(x)
13.
x: Vertices(the_graph)
14.
(x z)
(x z1)
By:
Obvious
Generated subgoals:
None
About:
