The lion is big. The lion is green. The lion is nice. The lion is red. The lion is rough. If the lion is nice and the lion is rough then the lion is red.
The lion eats the lion.
@0: The lion is big.[(triple1)] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4 OR ((triple3 triple5) -> rule1))] The lion is rough.[(triple5)]