A man in a tall red hat is riding on a green tractor and waving to spectators.
Nobody is using a vehicle.
If nobody is using a vehicle, then someone cannot be riding on a green tractor, which is a vehicle.
(-x)
(-x)