The cow eats the dog. The dog eats the cow. The mouse visits the dog. The rabbit needs the cow. If someone needs the mouse and they need the cow then they visit the dog. If someone visits the dog and they are red then the dog eats the mouse. If someone visits the rabbit then they are nice. If the dog needs the mouse and the dog is round then the mouse needs the rabbit. If someone visits the mouse then the mouse is rough. If the dog is young and the dog visits the rabbit then the rabbit is nice. If someone visits the dog then the dog visits the mouse. If someone is rough then they need the cow.
The dog needs the cow.
@0: The cow eats the dog.[(triple1)] The dog eats the cow.[(triple2)] The mouse visits the dog.[(triple3)] The rabbit needs the cow.[(triple4)] @1: The dog visits the mouse.[(((triple3) -> rule7))] @2: The mouse is rough.[(((((triple3) -> rule7)) -> rule5))] @3: The mouse needs the cow.[(((((((triple3) -> rule7)) -> rule5)) -> rule8))]