PLN simple chaining with variables

According to the PLN tests, it can handle simple chaining of AndCreationRule and ModusPonensRule (i.e. ImplicationLinks with an AndLink as the premise). Next maybe test it for longer chains with more distractions.