The lion is blue. The lion is green. The lion is nice. The lion is red. The lion is rough. Green things are blue. Rough, green things are nice.
The lion needs the lion.
@0: The lion is blue.[(triple1 OR ((triple2) -> rule1))] The lion is green.[(triple2)] The lion is nice.[(triple3 OR ((triple5 triple2) -> rule2))] The lion is red.[(triple4)] The lion is rough.[(triple5)]