The dog needs the mouse. The mouse sees the dog. If the mouse eats the dog and the mouse sees the dog then the dog eats the mouse. If something sees the dog then it is nice. If something sees the dog and the dog needs the mouse then it sees the mouse. If something needs the dog then it is green. If something sees the mouse then the mouse needs the dog. If something needs the dog and the dog eats the mouse then it eats the dog.
The dog needs the mouse.
@0: The dog needs the mouse.[(triple1)] The mouse sees the dog.[(triple2)] @1: The mouse is nice.[(((triple2) -> rule2))] The mouse sees the mouse.[(((triple2 triple1) -> rule3))] @2: The mouse needs the dog.[(((((triple2 triple1) -> rule3)) -> rule5))] @3: The mouse is green.[(((((((triple2 triple1) -> rule3)) -> rule5)) -> rule4))]