4.0 
Macs
Sent
12
Tet(b) | Tet(a)Tet(c) | Large(c)Tet(a) & Tet(b)Dodec(b) & Large(b)~(Tet(c) | Large(c))~(Cube(c) & Small(c))Cube(c) $ Cube(c)Cube(c) $ Large(c)?x (Cube(x) & Small(x))?x (Cube(x) & Large(x))@x Small(x)@x (Cube(x) $ Small(x))