The lion is cold. The lion is red. The lion is rough. The lion is round. The lion is young. Red, round things are young.
The lion does not chase the lion.
@0: The lion is cold.[(triple1)] The lion is red.[(triple2)] The lion is rough.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5 OR ((triple2 triple4) -> rule1))]