Express the following statement using logical symbols:

"It is not the case that if I am tired, then I will sleep"

Use:

• R for "I am tired"
• S for "I will sleep"
• → for implication
• ¬ for negation (not)

Enter your answer using the symbols available in the calculator.