Some students may run down the staris (否定句)

Some students may run down the staris有以下两种情况考虑：
1）这是一个表示推测的句子,意思是：有些学生可能向楼下跑.所以,否定句应该是：
Some students may run down the staris有些学生不可能向楼下跑.
2）这是一个表示允许的句子,意思是；有的学生可以向楼下跑.所以,否定句应该是：
Some students can‘t run downstairs.有的学生不能向楼下跑.
No students can run downstairs.学生不得向楼下跑.
Any student mustn’t run downstairs.禁止任何学生向楼下跑.