The dog likes the mouse. The mouse needs the dog. If something sees the mouse then it sees the dog. If something is nice then it sees the mouse. If something needs the dog then the dog needs the mouse. If something likes the mouse then the mouse needs the dog. If something likes the dog and it needs the dog then the dog is blue. If the dog needs the mouse then the dog sees the mouse.
The dog is nice.
@0: The dog likes the mouse.[(triple1)] The mouse needs the dog.[(triple2 OR ((triple1) -> rule4))] @1: The dog needs the mouse.[(((triple2) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] @2: The dog sees the mouse.[(((((triple2) -> rule3)) -> rule6) OR ((((((triple1) -> rule4)) -> rule3)) -> rule6))] @3: The dog sees the dog.[(((((((triple2) -> rule3)) -> rule6)) -> rule1) OR ((((((((triple1) -> rule4)) -> rule3)) -> rule6)) -> rule1))]