resolution proof graph