복지훈 선생님 명제관련 질문드립니다!

==================▼질문 양식▼==================

질문하는 선생님 : (ex : 복지훈 선생님 )
질문하는 강의/교재명 : ( ex : 해커스 GSAT최신기출유형 )
질문하는 문제의 위치 : ( ex : p 155 3번 )

* 양식에 맞게 질문 작성해주셔야 상세한 답변을 받으실 수 있습니다.
* 수강하는 강의/교재에 대한 질문을 해주셔야 답변이 가능합니다.  
* 질문하고자하는 문제에 대한 정답/해설을 함께 올려주시면 빠른 답변이 가능합니다. 
* 수강하는 강의/교재에 대한 질문 답변만 가능합니다.

==================▼질문 작성▼==================

- 질문하는 선생님 : 복지훈 선생님

- 질문하는 강의/교재명 : 삼성 GSAT 기출유형공략 - 추리

- 질문하는 문제의 위치 : 해커스 P.182 1번

- 질문 내용 : 

선생님 복습하다가 궁금증이 생겼는데요!

물론 문제는 벤다이어그램으로 풀었지만 갑자기 정언면제 삼단논법 공식에 위배되는게 아닌가 싶은 생각이 들어서요..!

여기서 답이 4번이라면 전제가 긍정/부정인데 답은 긍정이 나와서 공식에 위배되지 않나요,.?

삼단논법에서는 긍정/부정 전제라면 결론은 부정이 되어야하니까요..!

아니면 혹시 전제 긍정/부정 결론(4번 선지) 긍정 이렇게 본게 틀린건지...

궁금합니다!!