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