added assignment txt file
forward chaining works for a trivial example