The cat is nice. The cat likes the mouse. The cat needs the dog. The dog is red. The dog is rough. The dog needs the cat. The mouse is red. If something needs the dog and the dog is red then the dog likes the mouse. If something likes the mouse then it chases the mouse. If the mouse needs the cat then the mouse is rough.
The mouse needs the mouse.
@0: The cat is nice.[(triple1)] The cat likes the mouse.[(triple2)] The cat needs the dog.[(triple3)] The dog is red.[(triple4)] The dog is rough.[(triple5)] The dog needs the cat.[(triple6)] The mouse is red.[(triple7)] @1: The cat chases the mouse.[(((triple2) -> rule2))] The dog likes the mouse.[(((triple3 triple4) -> rule1))] @2: The dog chases the mouse.[(((((triple3 triple4) -> rule1)) -> rule2))]