Proof of inconsistency of the example SCFG