The lion is big. The lion is blue. The lion is green. The lion is kind. The lion is nice. If the lion is kind then the lion is nice. All nice things are green.
The lion does not like the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is green.[(triple3 OR ((triple5) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] The lion is kind.[(triple4)] The lion is nice.[(triple5 OR ((triple4) -> rule1))]