Piecewise Linear Reasoning