Abductive reasoning

player uses abduction to infer the secret colors (top) from summaries (bottom left) of discrepancies in her guesses (bottom right). Abductive reasoning (also called abduction,
More at Wikipedia...