Defeasible Argument Graphs, Made Provable