The lion is blue. The lion is kind. The lion is round. If something is blue then it is kind. Cold, blue things are round.
The lion visits the lion.
@0: The lion is blue.[(triple1)] The lion is kind.[(triple2 OR ((triple1) -> rule1))] The lion is round.[(triple3)]