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