The lion is green. The lion is kind. The lion is rough. If someone is rough and kind then they are young. All round people are young.
The lion is round.
@0: The lion is green.[(triple1)] The lion is kind.[(triple2)] The lion is rough.[(triple3)] @1: The lion is young.[(((triple3 triple2) -> rule1))]