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