The dog eats the mouse. The mouse needs the dog. If the mouse eats the dog then the mouse sees the dog. If someone needs the mouse then the mouse eats the dog. If someone is red then they see the dog. If someone needs the dog and the dog sees the mouse then the dog needs the mouse. If someone eats the dog then the dog eats the mouse. If someone eats the mouse and the mouse needs the dog then the dog needs the mouse. If someone is round then they see the mouse. If someone eats the dog then the dog is round.
The mouse needs the dog.
@0: The dog eats the mouse.[(triple1)] The mouse needs the dog.[(triple2)] @1: The dog needs the mouse.[(((triple1 triple2) -> rule6))] @2: The mouse eats the dog.[(((((triple1 triple2) -> rule6)) -> rule2))] @3: The dog is round.[(((((((triple1 triple2) -> rule6)) -> rule2)) -> rule8))] The mouse sees the dog.[(((((((triple1 triple2) -> rule6)) -> rule2)) -> rule1))] @4: The dog sees the mouse.[(((((((((triple1 triple2) -> rule6)) -> rule2)) -> rule8)) -> rule7))]