(define 23n (predicate (OR (QUANTITY Conway 2) (QUANTITY Conway 3))))

(define die (instruction C Dead))
(define live (instruction C Conway))

(define c(species Conway green
    (rule 23n live)
    (rule (predicate (NOT 23n)) die)))
    
(define d(species Dead orange
    (rule (predicate (QUANTITY Conway 3)) live)))