The lion is cold. The lion is green. The lion is kind. The lion is red. The lion is young. If the lion is young then the lion is red.
The lion chases the lion.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4 OR ((triple5) -> rule1))] The lion is young.[(triple5)]