The tiger is kind. If the tiger is green and the tiger is kind then the tiger is rough. Nice things are green. If something is kind then it is nice.
The tiger is round.
@0: The tiger is kind.[(triple1)] @1: The tiger is nice.[(((triple1) -> rule3))] @2: The tiger is green.[(((((triple1) -> rule3)) -> rule2))] @3: The tiger is rough.[(((((((triple1) -> rule3)) -> rule2) triple1) -> rule1))]