Failed

logicmoo.pfc.test.sanity_base.MT_09.logicmoo.pfc.test.sanity_base.MT_09@Test_0001_Line_0000__A_in_kb2_in_myMt: myMt:clause(kb2:a,Clause_Kw2) (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.MT_09)

Error Message

failure = "failure=info((why_was_true(myMt:(\\+clause(kb2:a,_16682))),nop(ftrace(myMt:clause(kb2:a,_16682)))))\nno_proof_for(\\+clause(kb2:a,Clause_Kw2)).\n\nno_proof_for(\\+clause(kb2:a,Clause_Kw2)).\n\nno_proof_for(\\+clause(kb2:a,Clause_Kw2)).\n\n". failure = []. 

Standard Error

name=Test_0001_Line_0000__A_in_kb2_in_myMt
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.MT_09'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'mt_09.pl\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['mt_09.pl']")

```
goal=myMt:clause(kb2:a,_40602).
time=0.0001246929168701172.
failure=failure=info((why_was_true(myMt:(\+clause(kb2:a,_16682))),nop(ftrace(myMt:clause(kb2:a,_16682)))))
no_proof_for(\+clause(kb2:a,Clause_Kw2)).

no_proof_for(\+clause(kb2:a,Clause_Kw2)).

no_proof_for(\+clause(kb2:a,Clause_Kw2)).

result=failure.