5.1 WNDS: Win98 4.10.67766222 ( ) [5.1.0.19991101] SntF C989512581017D989513747182C989514564010D989514641577C989679956059D989680035654D989680062528 S14931 5 /x /y (Cube(x) & Cube(y) & x # y ) @x @y @z ((Tet(x) & Tet(y) & Tet(z)) $ (x = y | y = z | x = z )) /x @y ((Cube(y) & Large(y)) % x = y ) /x /y (x # y & @z ((Cube(z) & Small(z)) % (z =x | z =y))) /x /y /z (Small(x) & Small(y) & Small(z) & x # y & x # z & y # z )