The lion is cold. The lion is kind. The lion is red. The lion is rough. The lion is young. If someone is cold then they are young. If the lion is kind then the lion is rough. All rough, cold people are kind.
The lion is not rough.
@0: The lion is cold.[(triple1)] The lion is kind.[(triple2 OR ((triple4 triple1) -> rule3))] The lion is red.[(triple3)] The lion is rough.[(triple4 OR ((triple2) -> rule2))] The lion is young.[(triple5 OR ((triple1) -> rule1))]