The lion is big. The lion is green. The lion is kind. The lion is rough. The lion is round. All round things are kind. If the lion is big then the lion is green.
The lion does not like the lion.
@0: The lion is big.[(triple1)] The lion is green.[(triple2 OR ((triple1) -> rule2))] The lion is kind.[(triple3 OR ((triple5) -> rule1))] The lion is rough.[(triple4)] The lion is round.[(triple5)]