A surfer is riding a wave .
It is certain that a surfer is in Laguna Beach .
It is impossible that a surfer is in Laguna Beach .
It is certain that a surfer is in Laguna Beach .
A surfer is in Laguna Beach .