If you look at the floor, you can see that the house was built around the rock. My bet is that they found the rock while digging out the basement. Options were $15,000+ to remove it, or $0 to just dig around it.