The lion is cold. The lion is green. The lion is nice. The lion is red. The lion is rough. If someone is red then they are rough.
The lion is green.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2)] The lion is nice.[(triple3)] The lion is red.[(triple4)] The lion is rough.[(triple5 OR ((triple4) -> rule1))]