A person rides a bike down a rocky hill .
It is certain that a cyclist is riding down a hill .
It is certain that a cyclist is riding down a hill .
We doubt that a cyclist is riding down a hill .
A cyclist is riding down a hill .