The lion is big. The lion is blue. The lion is green. The lion is nice. The lion is young. All young things are blue. Green, young things are nice.
The lion does not need the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2 OR ((triple5) -> rule1))] The lion is green.[(triple3)] The lion is nice.[(triple4 OR ((triple3 triple5) -> rule2))] The lion is young.[(triple5)]