impliedValues function

Retrieve values stricktly implied by rules