5.3
Macs: 5.6: 9.2.2 [mach==1206] [cput==0x139] [5.6.0.20040220]
SntF
C995043668039D995043906339C1120564791753D1120564805947
S8725
5
; ======= Premises =======/x Cube(x)@x (Cube(x) $ /y (Dodec(y) & Adjoins(x, y))); ========Conclusion ========/x (Dodec(x) & @y (Cube(y) $ Adjoins(y, x)))