Smaller example for inconsistency