5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C999855456254D999855600250C1120564161020D1120564173186
S9175
6
=========== Premises ==========@x ((Small(x) | Large(x)) $ Tet(x))@x (Small(x) | Medium(x) | Large(x))@x Cube(x)==========Conclusion ==========@x Medium(x)