TIMEOUT
MAYBE
Trs:
 {            h -> c n__d,
              c -> d activate,
            f f -> c n__f n__g n__f,
              f -> n__f,
              g -> n__g,
              d -> n__d,
  activate n__f -> f activate,
  activate n__g -> g,
  activate n__d -> d,
       activate -> }
 Open