Demo of Forward Chaining algorithm

Input facts:
Input target:

Output