The lion is big. The lion is cold. The lion is red. The lion is rough. The lion is young. If something is cold then it is red.
The lion does not eat the lion.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is red.[(triple3 OR ((triple2) -> rule1))] The lion is rough.[(triple4)] The lion is young.[(triple5)]