+ '[' 0 -eq 1 ']'
+ echo 'Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/entail/ImplicationDirectIntroductionEntailTest.metta'
Doing: timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/entail/ImplicationDirectIntroductionEntailTest.metta
+ eval 'timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/entail/ImplicationDirectIntroductionEntailTest.metta'
++ timeout --foreground --kill-after=5 --signal=SIGINT 121 time metta /opt/logicmoo_opencog/hyperon-wam/examples/baseline_compat/hyperon-pln_metta/entail/ImplicationDirectIntroductionEntailTest.metta
[()]
[("========== Test formula ==========")]
[(idi_formula (Bl True) (Bl False) (STV 1 0))]
[("========== Test axiom ==========")]
[(ETV Empty (STV 1 0))]
[("========== Test inductive rule ==========")]
[(≞ (→ P Q) (ETV (insert 42 Empty) (idi_formula (Bl True) $qtv#702 (STV 1 0))))]
0.03user 0.01system 0:00.04elapsed 97%CPU (0avgtext+0avgdata 26868maxresident)k
0inputs+0outputs (0major+3534minor)pagefaults 0swaps