At:
vertex-count-le
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.
z: Vertices(the_graph) List
7.
z1: Vertices(the_graph) List
8.
no_repeats(Vertices(the_graph);z1)
9.
x:Vertices(the_graph). (x 
z1) 
Q(x)
10.
no_repeats(Vertices(the_graph);z)
11.
x:Vertices(the_graph). (x z) P(x)
12.
x: Vertices(the_graph)
13.
(x z)
(x z1)
By:
Obvious
Generated subgoals:
None
About:
