Add variable unifier and ModusPonens forward chainer for rule #2