X1 is non empty set
X2 is set
X3 is set
X1 is non empty set
union X1 is set
X2 is set
X1 \/ X2 is non empty set
X3 is set
X4 is set
X1 is non empty set
union X1 is set
X2 is set
union (union X1) is set
X3 is set
X1 \/ X2 is non empty set
(X1 \/ X2) \/ X3 is non empty set
X4 is set
X5 is set
X5 is set
X6 is set
X2 \/ X3 is set
X1 \/ (X2 \/ X3) is non empty set
X1 is non empty set
union X1 is set
X2 is set
union (union X1) is set
X3 is set
union (union (union X1)) is set
X4 is set
X1 \/ X2 is non empty set
(X1 \/ X2) \/ X3 is non empty set
((X1 \/ X2) \/ X3) \/ X4 is non empty set
X5 is set
X6 is set
X6 is set
Z is set
X2 \/ X3 is set
X1 \/ (X2 \/ X3) is non empty set
(X1 \/ (X2 \/ X3)) \/ X4 is non empty set
(X2 \/ X3) \/ X4 is set
X1 \/ ((X2 \/ X3) \/ X4) is non empty set
Z is set
Y is set
y is set
X3 \/ X4 is set
X2 \/ (X3 \/ X4) is set
X1 is non empty set
union X1 is set
X2 is set
union (union X1) is set
X3 is set
union (union (union X1)) is set
union (union (union (union X1))) is set
X4 is set
X5 is set
X1 \/ X2 is non empty set
(X1 \/ X2) \/ X3 is non empty set
((X1 \/ X2) \/ X3) \/ X5 is non empty set
(((X1 \/ X2) \/ X3) \/ X5) \/ X4 is non empty set
X6 is set
Z is set
Z is set
Y is set
y is set
X2 \/ X3 is set
X1 \/ (X2 \/ X3) is non empty set
(X1 \/ (X2 \/ X3)) \/ X5 is non empty set
((X1 \/ (X2 \/ X3)) \/ X5) \/ X4 is non empty set
(X2 \/ X3) \/ X5 is set
X1 \/ ((X2 \/ X3) \/ X5) is non empty set
(X1 \/ ((X2 \/ X3) \/ X5)) \/ X4 is non empty set
((X2 \/ X3) \/ X5) \/ X4 is set
X1 \/ (((X2 \/ X3) \/ X5) \/ X4) is non empty set
Z is set
Y is set
Z is set
Y is set
y is set
Y2 is set
X3 \/ X5 is set
X2 \/ (X3 \/ X5) is set
(X2 \/ (X3 \/ X5)) \/ X4 is set
(X3 \/ X5) \/ X4 is set
X2 \/ ((X3 \/ X5) \/ X4) is set
X5 \/ X4 is set
X3 \/ (X5 \/ X4) is set
X1 is non empty set
union X1 is set
X2 is set
union (union X1) is set
X3 is set
union (union (union X1)) is set
union (union (union (union X1))) is set
union (union (union (union (union X1)))) is set
X4 is set
X5 is set
X6 is set
X1 \/ X2 is non empty set
(X1 \/ X2) \/ X3 is non empty set
((X1 \/ X2) \/ X3) \/ X5 is non empty set
(((X1 \/ X2) \/ X3) \/ X5) \/ X6 is non empty set
((((X1 \/ X2) \/ X3) \/ X5) \/ X6) \/ X4 is non empty set
Y is set
X2 \/ X3 is set
X1 \/ (X2 \/ X3) is non empty set
(X1 \/ (X2 \/ X3)) \/ X5 is non empty set
((X1 \/ (X2 \/ X3)) \/ X5) \/ X6 is non empty set
(((X1 \/ (X2 \/ X3)) \/ X5) \/ X6) \/ X4 is non empty set
(X2 \/ X3) \/ X5 is set
X1 \/ ((X2 \/ X3) \/ X5) is non empty set
(X1 \/ ((X2 \/ X3) \/ X5)) \/ X6 is non empty set
((X1 \/ ((X2 \/ X3) \/ X5)) \/ X6) \/ X4 is non empty set
((X2 \/ X3) \/ X5) \/ X6 is set
X1 \/ (((X2 \/ X3) \/ X5) \/ X6) is non empty set
(X1 \/ (((X2 \/ X3) \/ X5) \/ X6)) \/ X4 is non empty set
(((X2 \/ X3) \/ X5) \/ X6) \/ X4 is set
X1 \/ ((((X2 \/ X3) \/ X5) \/ X6) \/ X4) is non empty set
y is set
Y2 is set
Y3 is set
Y4 is set
y is set
Y2 is set
Y3 is set
y is set
Y2 is set
y is set
y is set
Y2 is set
Y3 is set
Y4 is set
Y5 is set
X3 \/ X5 is set
X2 \/ (X3 \/ X5) is set
(X2 \/ (X3 \/ X5)) \/ X6 is set
((X2 \/ (X3 \/ X5)) \/ X6) \/ X4 is set
(X3 \/ X5) \/ X6 is set
X2 \/ ((X3 \/ X5) \/ X6) is set
(X2 \/ ((X3 \/ X5) \/ X6)) \/ X4 is set
((X3 \/ X5) \/ X6) \/ X4 is set
X2 \/ (((X3 \/ X5) \/ X6) \/ X4) is set
X5 \/ X6 is set
X3 \/ (X5 \/ X6) is set
(X3 \/ (X5 \/ X6)) \/ X4 is set
(X5 \/ X6) \/ X4 is set
X3 \/ ((X5 \/ X6) \/ X4) is set
X6 \/ X4 is set
X5 \/ (X6 \/ X4) is set
X1 is set
X2 is set
X3 is set
{X1,X2,X3} is set
X4 is set
X1 is set
X2 is set
X3 is set
X4 is set
{X1,X2,X3,X4} is set
X5 is set
X1 is set
X2 is set
X3 is set
X4 is set
X5 is set
{X1,X2,X3,X4,X5} is set
Z is set
Y is set
Y is set
Y is set
Y is set
Y is set
Y is set
X1 is set
X2 is set
X3 is set
X4 is set
X5 is set
X6 is set
{X1,X2,X3,X4,X5,X6} is set
Y is set
y is set
y is set
y is set
y is set
y is set
y is set
y is set