Forward chaining proof