Three men stand together smiling, while one is playing Guitar Hero and the others are enjoying a beverage.
Three men stand together smiling.
For three men to stand together smiling as one is playing Guitar Hero, and the others enjoy a beverage, it must be true that three men stand together smiling.
(-x)
(-x)