The lion is blue. The lion is green. The lion is kind. The lion is nice. The lion is rough. If the lion is kind and the lion is nice then the lion is rough. If the lion is green then the lion is blue.
The lion sees the lion.
@0: The lion is blue.[(triple1 OR ((triple2) -> rule2))] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is nice.[(triple4)] The lion is rough.[(triple5 OR ((triple3 triple4) -> rule1))]