Java Rule Inference Questions