Other Reasoning Patterns

•  Resolution works by refutation •  What about proving propositions directly?