The lion is big. The lion is cold. The lion is kind. The lion is nice. The lion is rough. If something is cold and nice then it is kind. If something is nice then it is rough.
The lion is kind.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2)] The lion is kind.[(triple3 OR ((triple2 triple4) -> rule1))] The lion is nice.[(triple4)] The lion is rough.[(triple5 OR ((triple4) -> rule2))]