4.0 
Macs
Sent
30
?x @y Smaller(x, y)@x (Dodec(x) $ ?y Smaller(x, y))?x (Dodec(x) & @y Smaller(x, y))?y @x (Dodec(x) $ Smaller(x, y))?y @x (Dodec(x) $ Smaller(y, x))?y @x (Dodec(x) $ ~Smaller(x, y))@x ((Cube(x) & Medium(x)) $ ~?y BackOf(y, x))@x ((Cube(x) & Medium(x)) $ ?y ~BackOf(y, x))@x ((Cube(x) & Large(x)) $ ~ ?y BackOf(y, x))@x ((Cube(x) & Large(x)) $ ?y ~BackOf(y, x))?x (Tet(x) & @y (Cube(y) $ BackOf(y, x)))?x (Tet(x) & @y (BackOf(y, x) $ Cube(y)))?x (Cube(x) & @y (Dodec(y) $ Smaller(y, x)))?x (Cube(x) & @y (Smaller(y, x) $ Dodec(y)))@x ((Cube(x) & ?y LeftOf(x, y)) $ Large(x))@x ((Tet(x) & ?y BackOf(y, x)) $ Small(x))@x (~?y BackOf(y, x) $ Cube(x))@x (~?y FrontOf(y, x) $ Tet(x))@x (Tet(x) $ ?y ?z Between(x, y, z))?y @x (Tet(x) $ ?z Between(x, y, z))?z @x (Tet(x) $ ?y Between(x, y, z))?y ?z @x (Tet(x) $ Between(x, y, z))@x @y ((Tet(x) & Cube(y)) $ ?z Between(z, x, y))@x @y ((Tet(x) & Cube(y) & Larger(y, x)) $ 
            ?z Between(z, x, y))@x @y ((Tet(x) & Cube(y) & ?z Between(z, x, y)) $ 
            Larger(y, x))?x (Tet(x) & @y (Cube(y) $ ?z Between(z, x, y)))?z ?x (Tet(x) & @y (Cube(y) $ Between(z, x, y)))?x ?y ?z (Tet(x) & Tet(y) & Tet(z) &
               LeftOf(x, y) & LeftOf(x, z))?x ?y ?z (Tet(x) & Tet(y) & Tet(z) &
               LeftOf(x, y) & LeftOf(y, z))?x ?y ?z (Dodec(x) & Dodec(y) & Dodec(z) &
               LeftOf(x, y) & LeftOf(y, z))