The lion is big. The lion is cold. The lion is green. The lion is kind. The lion is red. If something is cold then it is red.
The lion needs the lion.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is green.[(triple3)] The lion is kind.[(triple4)] The lion is red.[(triple5 OR ((triple2) -> rule1))]