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 likes 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)]