The lion is big. The lion is blue. The lion is cold. The lion is rough. The lion is round. Big things are cold.
The lion visits the lion.
@0: The lion is big.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3 OR ((triple1) -> rule1))] The lion is rough.[(triple4)] The lion is round.[(triple5)]