The lion is cold. The lion is kind. The lion is red. The lion is rough. The lion is round. Cold, red things are rough.
The lion chases the lion.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2)] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple1 triple3) -> rule1))] The lion is round.[(triple5)]