The lion is big. The lion is cold. The lion is not nice. The lion is rough. The lion is round. If the lion is big then the lion is cold.
The lion is not rough.
@0: The lion is big.[(triple1)] The lion is cold.[(triple2 OR ((triple1) -> rule1))] The lion is not nice.[(triple3)] The lion is rough.[(triple4)] The lion is round.[(triple5)]