The lion is big. The lion is cold. The lion is kind. The lion is rough. The lion is young. All young, cold things are kind.
The lion does not eat the lion.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple5 triple2) -> rule1))] The lion is rough.[(triple4)] The lion is young.[(triple5)]