Abductive reasoning (source code)

= Abductive reasoning
{wiki}