정답은 4번입니다. 형식적 추론은 여러 개의 전제가 제시될 때, 이들 간의 관계를 명확히 규명하여 결론을 도출하는 방법입니다. 따라서 주어진 전제가 여러 개일 때, 형식적으로 결론을 도출하는 방식이 적합합니다.