#  Wff#  Wff Instance
-----  ----  ------------
  [0]  query   query :- [1].
  [1]  refuted_t(mudChild,iSon1,iFather1)      refuted_t(mudChild,iSon1,iFather1) :- [2] , [3].
  [2]  red         not_unknowable_t(mudChild,iSon1,iFather1).
  [3]  red         not_assumed_t(mudChild,iSon1,iFather1).
Proof END.
% /devel/LogicmooDeveloperFramework/PrologMUD/packs/logicmoo_engine/prolog/logicmoo/logicmoo_engine.pl:1305
%               succceeded(user:pttp_prove(logicmoo_example3, query)).
%
:- dynamic pttp_test_took/3.

pttp_test_took(logicmoo_example3, success, 0.0005987990000022592).