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 sees 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))]