set_prolog_flag(color_term,false).
consult('test.0001.pl').
consult('myphil0002.pl').
protocol('testresults.0001.txt').
belief(tom,'denounced','cicero','cataline',now).
noprotocol.