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 is kind.
@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)]