The dog is green. The dog likes the mouse. The dog likes the tiger. The mouse needs the dog. The tiger likes the dog. The tiger needs the dog. The tiger needs the mouse. If someone likes the mouse then they need the tiger. If the dog needs the mouse then the dog visits the mouse. If someone visits the tiger and they visit the dog then the tiger needs the mouse. If someone needs the mouse and they like the tiger then the tiger likes the mouse. If someone needs the tiger then they visit the mouse. If someone is green and they visit the mouse then they need the mouse. If someone likes the mouse and the mouse likes the tiger then the tiger visits the mouse. If someone likes the dog then they visit the mouse.
The mouse does not like the tiger.
@0: The dog is green.[(triple1)] The dog likes the mouse.[(triple2)] The dog likes the tiger.[(triple3)] The mouse needs the dog.[(triple4)] The tiger likes the dog.[(triple5)] The tiger needs the dog.[(triple6)] The tiger needs the mouse.[(triple7)] @1: The dog needs the tiger.[(((triple2) -> rule1))] The tiger visits the mouse.[(((triple5) -> rule8) OR ((((((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule4)) -> rule1)) -> rule5))] @2: The dog visits the mouse.[(((((triple2) -> rule1)) -> rule5))] @3: The dog needs the mouse.[(((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule6))] @4: The tiger likes the mouse.[(((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule4))] @5: The tiger needs the tiger.[(((((((triple1 ((((triple2) -> rule1)) -> rule5)) -> rule6) triple3) -> rule4)) -> rule1))]