5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C999856331884D999856550421C999960277027D999960284623C1120564684770D1120564695423
S12821
5
: ========== Premises ==========@x (Dodec(x) $ Large(x))~/x (Small(x) & Cube(x)) ; ========== Conclusion =========@x ((Cube(x) | Dodec(x))  $ ~Small(x))