A group of friends lay sprawled out on the floor enjoying their time together.
Some friends are worn out and lay down.
The fact that a group of friends lay sprawled out on the floor enjoying their time together does not imply that some friends are worn out and lay down.
(-x)
(-x)