The dog is big. If the dog is kind and the dog is red then the dog is green. If the dog is big then the dog is green. Big, green things are red. If the dog is green then the dog is big. If the dog is kind then the dog is green. All big, young things are red.
The dog does not chase the dog.
@0: The dog is big.[(triple1)] @1: The dog is green.[(((triple1) -> rule2))] @2: The dog is red.[(((triple1 ((triple1) -> rule2)) -> rule3))]