Example tests check the inputs you thought of. A property-based test states a rule that must hold for every input, then lets the computer invent hundreds of inputs to try to break it. When it succeeds, it shrinks the failure to the smallest example a human can read.