use toStringFullyParenthesized in disprover output of hypotheses and goal