The lion is green. The lion is round. The lion is young. If someone is green and not young then they are kind. If the lion is round and the lion is young then the lion is green.
The lion is young.
@0: The lion is green.[(triple1 OR ((triple2 triple3) -> rule2))] The lion is round.[(triple2)] The lion is young.[(triple3)]