and
P
forall
x46
term
Q
x46
forall
x45
term
and
P
Q
x45
and
forall
x48
term
Q
x48
P
forall
x47
term
and
Q
x47
P
and
P
exists
x50
term
Q
x50
exists
x49
term
and
P
Q
x49
and
exists
x52
term
Q
x52
P
exists
x51
term
and
Q
x51
P
or
P
forall
x54
term
Q
x54
forall
x53
term
or
P
Q
x53
or
forall
x56
term
Q
x56
P
forall
x55
term
or
Q
x55
P
or
P
exists
x58
term
Q
x58
exists
x57
term
or
P
Q
x57
or
exists
x60
term
Q
x60
P
exists
x59
term
or
Q
x59
P
not
forall
x62
term
Q
x62
exists
x61
term
not
Q
x61
not
exists
x64
term
Q
x64
forall
x63
term
not
Q
x63
Q
term
form
P
form
or
form
form
form
not
form
form
forall
term
form
form
exists
term
form
form
and
form
form
form
FULL