The dog is big. If the dog is young then the dog is blue. Big things are kind. All kind things are young.
The dog sees the dog.
@0: The dog is big.[(triple1)] @1: The dog is kind.[(((triple1) -> rule2))] @2: The dog is young.[(((((triple1) -> rule2)) -> rule3))] @3: The dog is blue.[(((((((triple1) -> rule2)) -> rule3)) -> rule1))]