The dog is blue. Blue things are big. Blue, big things are nice. If something is nice and not big then it is green.
The dog needs the dog.
@0: The dog is blue.[(triple1)] @1: The dog is big.[(((triple1) -> rule1))] @2: The dog is nice.[(((triple1 ((triple1) -> rule1)) -> rule2))]