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 does not eat 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)]