The dog is red. If someone is red then they are blue. If the dog is not kind then the dog is red.
The dog does not eat the dog.
@0: The dog is red.[(triple1)] @1: The dog is blue.[(((triple1) -> rule1))]