The cat is round. If the cat is round then the cat is nice. If the cat is nice then the cat is rough. If someone is round and rough then they are green.
The cat needs the cat.
@0: The cat is round.[(triple1)] @1: The cat is nice.[(((triple1) -> rule1))] @2: The cat is rough.[(((((triple1) -> rule1)) -> rule2))] @3: The cat is green.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule3))]