Simple Implicit Execution

• Input axioms, store conjecture
• Implicit execute,self

    tpi(1,input,'Axioms/SYN001+1.ax'). %----Could use an include directive
    fof(another,axiom,pp => qq).
    fof(a,conjecture,qq).