Inference method and decision door Rosenkrantz