The lion is big. The lion is kind. The lion is young. Round people are blue. If someone is kind and young then they are round.
The lion eats the lion.
@0: The lion is big.[(triple1)] The lion is kind.[(triple2)] The lion is young.[(triple3)] @1: The lion is round.[(((triple2 triple3) -> rule2))] @2: The lion is blue.[(((((triple2 triple3) -> rule2)) -> rule1))]