improved to string method of counter-example (for loggin)
if a timeout occurs, no counterexample is found
disprover: add hypotheses, goal and result to log