The lion is green. The lion is nice. The lion is red. The lion is rough. The lion is young. Young, red people are green.
The lion does not eat the lion.
@0: The lion is green.[(triple1 OR ((triple5 triple3) -> rule1))] The lion is nice.[(triple2)] The lion is red.[(triple3)] The lion is rough.[(triple4)] The lion is young.[(triple5)]