Lay arbitration and rules of inference