The dog is not green. The dog is round. The dog needs the mouse. The mouse eats the dog. The mouse is nice. The mouse is rough. The mouse sees the dog. If something needs the dog then the dog eats the mouse. If something is round and it sees the mouse then it needs the dog. If something needs the mouse and the mouse sees the dog then the dog sees the mouse.
The mouse does not see the dog.
@0: The dog is not green.[(triple1)] The dog is round.[(triple2)] The dog needs the mouse.[(triple3)] The mouse eats the dog.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The mouse sees the dog.[(triple7)] @1: The dog sees the mouse.[(((triple3 triple7) -> rule3))] @2: The dog needs the dog.[(((triple2 ((triple3 triple7) -> rule3)) -> rule2))] @3: The dog eats the mouse.[(((((triple2 ((triple3 triple7) -> rule3)) -> rule2)) -> rule1))]