Man in red jacket standing in front of lighthouse.
All of the worlds lighthouse have been torn down.
If all of the worlds lighthouse have been torn down, then the man cannot be standing in front of lighthouse.
(-x)
(-x)