The cat sees the dog. The dog is cold. The dog sees the mouse. The dog visits the cat. The dog visits the mouse. The mouse sees the dog. The mouse visits the dog. If someone visits the dog then they visit the mouse.
The mouse does not see the dog.
@0: The cat sees the dog.[(triple1)] The dog is cold.[(triple2)] The dog sees the mouse.[(triple3)] The dog visits the cat.[(triple4)] The dog visits the mouse.[(triple5)] The mouse sees the dog.[(triple6)] The mouse visits the dog.[(triple7)] @1: The mouse visits the mouse.[(((triple7) -> rule1))]