ObserveEvidence function implemented.