Forward and backward chaining example. Curious about how forward and back...