다음 문장을 논리 기호를 사용하여 표현하시오:

"내가 피곤하면 잠을 잘 것이다, 라는 것이 아니다"

사용할 기호:

• R: "나는 피곤하다"
• S: "나는 잠을 잘 것이다"
• → : 함축 (implication)
• ¬: 부정 (negation, not)

계산기에서 사용 가능한 기호를 사용하여 답을 입력하시오.