Inference with Mental Models