Intelligible semi-automated reasoning