The lion is blue. The lion is nice. The lion is rough. If someone is rough then they are blue.
The lion eats the lion.
@0: The lion is blue.[(triple1 OR ((triple3) -> rule1))] The lion is nice.[(triple2)] The lion is rough.[(triple3)]