Now handles evidence conditions

This is the completed project, no more changes should be required to
apply this procedure to a problem.