Forward Chaining

Implemented by cwm --think

  load input into kb
  repeat:  
    for each rule:
      apply the rule wherever possible in the kb
      add any results back to kb
  until nothing new concluded (or sun burns out)

Fairly simple, but only works for small datasets.