The dog likes the mouse. The dog sees the mouse. The dog sees the squirrel. The mouse is red. The mouse is young. The mouse likes the dog. The mouse likes the squirrel. The mouse sees the squirrel. The mouse visits the dog. The squirrel visits the dog. If someone likes the mouse and the mouse visits the dog then they visit the dog.
The mouse is red.
@0: The dog likes the mouse.[(triple1)] The dog sees the mouse.[(triple2)] The dog sees the squirrel.[(triple3)] The mouse is red.[(triple4)] The mouse is young.[(triple5)] The mouse likes the dog.[(triple6)] The mouse likes the squirrel.[(triple7)] The mouse sees the squirrel.[(triple8)] The mouse visits the dog.[(triple9)] The squirrel visits the dog.[(triple10)] @1: The dog visits the dog.[(((triple1 triple9) -> rule1))]