The cat is kind. If something is big then it is rough. Kind things are green. Green, kind things are big.
The cat is not green.
@0: The cat is kind.[(triple1)] @1: The cat is green.[(((triple1) -> rule2))] @2: The cat is big.[(((((triple1) -> rule2) triple1) -> rule3))] @3: The cat is rough.[(((((((triple1) -> rule2) triple1) -> rule3)) -> rule1))]