The lion is big. The lion is green. The lion is kind. The lion is rough. The lion is young. All kind people are rough.
The lion does not chase the lion.
@0: The lion is big.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is rough.[(triple4 OR ((triple3) -> rule1))] The lion is young.[(triple5)]