Huto Inference Rules