The lion is big. The lion is blue. The lion is green. The lion is nice. The lion is round. If the lion is big then the lion is green.
The lion does not eat the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is green.[(triple3 OR ((triple1) -> rule1))] The lion is nice.[(triple4)] The lion is round.[(triple5)]