The lion is cold. The lion is green. The lion is kind. The lion is round. The lion is young. If the lion is cold then the lion is kind. Round, cold things are kind. If the lion is round then the lion is young.
The lion visits the lion.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3 OR ((triple1) -> rule1) OR ((triple4 triple1) -> rule2))] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple4) -> rule3))]