The cow sees the mouse. The dog is kind. The mouse sees the dog. If someone sees the cow and they visit the dog then they are kind. If someone chases the dog then they chase the mouse. If the cow sees the mouse and the mouse sees the cow then the mouse is kind. If the mouse sees the dog then the dog is young. If someone sees the cow and they are rough then they visit the mouse. If someone is young then they visit the mouse. If someone is kind then they see the mouse. If the dog visits the mouse then the mouse is kind.
The dog sees the mouse.
@0: The cow sees the mouse.[(triple1)] The dog is kind.[(triple2)] The mouse sees the dog.[(triple3)] @1: The dog is young.[(((triple3) -> rule4))] The dog sees the mouse.[(((triple2) -> rule7))] @2: The dog visits the mouse.[(((((triple3) -> rule4)) -> rule6))] @3: The mouse is kind.[(((((((triple3) -> rule4)) -> rule6)) -> rule8))] @4: The mouse sees the mouse.[(((((((((triple3) -> rule4)) -> rule6)) -> rule8)) -> rule7))]