The lion is cold. The lion is green. The lion is kind. The lion is rough. The lion is young. Rough things are young. Cold things are rough. If the lion is not rough then the lion is kind.
The lion is kind.
@0: The lion is cold.[(triple1)] The lion is green.[(triple2)] The lion is kind.[(triple3)] The lion is rough.[(triple4 OR ((triple1) -> rule2))] The lion is young.[(triple5 OR ((triple4) -> rule1) OR ((((triple1) -> rule2)) -> rule1))]