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