Radical change proposal

All the problems and discussions about well-formedness, forbidden simple entailments, unsupported RDF 1.2 graphs, etc, will vanish if we give up option 3 and we go back to have only triple reification terms in RDF 1.2:

graph             ::= (triple)*
triple            ::= subject predicate object
subject           ::= iri | BlankNode | tripleReification
predicate         ::= iri
object            ::= iri | BlankNode | literal | tripleReification
tripleReification ::= identifier triple
identifier        ::= iri | blanknode

Too radical?
—e.