use our prolog output instead of rodins output for disproved hypotheses and goal