What negates “At least one student is present”?

Contradiction and the Eight Conditions