5.3
Macs: 9.2.2 [mach==1206] [cput==0x111] [5.3.0.20020218]
SntF
C1080038467442D1080044673484
S5015
10
;Some cubes are small.;Every cube is between a and b;No cube is in front of a;a is to the left of some cube.;a is not in fornt of any cube;a is not in front of every cube;All large cubes are the same size as themselves.;All large cubes are small tetrahedra.;Some large cube is a small tetrahedron.;Invariably, if something is a tetrahedron, it is the same size as a.