Issue #6: fixed sampling of negative facts; added color output