The lion is big. The lion is not blue. The lion is green. The lion is rough. The lion is young. If the lion is green and the lion is not big then the lion is rough. If the lion is green and the lion is rough then the lion is young.
The lion does not chase the lion.
@0: The lion is big.[(triple1)] The lion is green.[(triple3)] The lion is not blue.[(triple2)] The lion is rough.[(triple4)] The lion is young.[(triple5 OR ((triple3 triple4) -> rule2))]