The lion is kind. Nice people are green. If the lion is kind and the lion is big then the lion is nice. If someone is kind then they are big.
The lion is not nice.
@0: The lion is kind.[(triple1)] @1: The lion is big.[(((triple1) -> rule3))] @2: The lion is nice.[(((triple1 ((triple1) -> rule3)) -> rule2))] @3: The lion is green.[(((((triple1 ((triple1) -> rule3)) -> rule2)) -> rule1))]