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