There's no way this Common Lisp code captures DiaMat...

(defun contradiction (x y)
	  (not (eq x y))) => CONTRADICTION
(contradiction 'labour 'capital) => T
(contradiction 'labour 'labour) => NIL

Oh...

(setq proletariat '(labour runs-means-of-productions)) => (LABOUR RUNS-MEANS-OF-PRODUCTIONS)
(setq bourgeoisie '(capital owns-means-of-production)) => (CAPITAL OWNS-MEANS-OF-PRODUCTION)
(mapcar #'contradiction proletariat bourgeoisie) => (T T)

omg.