The lion is big. The lion is green. The lion is red. The lion is round. The lion is young. If someone is round and green then they are red.
The lion does not need the lion.
@0: The lion is big.[(triple1)] The lion is green.[(triple2)] The lion is red.[(triple3 OR ((triple4 triple2) -> rule1))] The lion is round.[(triple4)] The lion is young.[(triple5)]