MightyClient Demo (source)
In this example consistency condition is that checkbox B can only be checked if checkbox A is checked. UI enforces this: unchecking A automatically unchecks B, and whenever A is unchecked B is disabled. Despite this, without transactions you can still arrive at inconsistent state by starting with A = checked, B = unchecked, then simultaneously unchecking A on one client and checking B on the other.