Inequality Rules In Reasoning