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 is blue.
@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))]