A woman and her son walk down a long, leaf-strewn path, while two people ride their horses in the opposite direction.
There are horses.
In order for people to ride horses, it must be the case that there are horses.
(-x)
(-x)