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 is not nice.
@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)]