The dog visits the rabbit. The mouse visits the dog. The rabbit is blue. If someone is blue then they need the rabbit. If someone is young then they need the mouse.
The dog is nice.
@0: The dog visits the rabbit.[(triple1)] The mouse visits the dog.[(triple2)] The rabbit is blue.[(triple3)] @1: The rabbit needs the rabbit.[(((triple3) -> rule1))]