The dog is kind. The mouse is red. The mouse visits the dog. If something eats the dog then the dog is rough. If something is kind then it eats the dog.
The mouse visits the dog.
@0: The dog is kind.[(triple1)] The mouse is red.[(triple2)] The mouse visits the dog.[(triple3)] @1: The dog eats the dog.[(((triple1) -> rule2))] @2: The dog is rough.[(((((triple1) -> rule2)) -> rule1))]