Resolution proof augmented with the rule of symmetry or the rule of extension - Resolution proof augmented with the rule of symmetry...