The basketball team coach stipulates that if player No. 1 plays and player No. 3 does not play, at least one of players No. 5 and No. 7 must play.
The sufficient condition for No. 1 player not to play, if the coach's regulations are implemented, is that No. 3, No. 5 and No. 7 did not play.