The dog is green. The mouse visits the dog. If something visits the dog then the dog is young. If something is red and young then it does not need the mouse. If something eats the mouse then the mouse is not cold. If something needs the dog then it is green. If something eats the mouse then the mouse needs the dog. If something needs the mouse then the mouse needs the dog. If something is green and not young then it eats the mouse. If something is green then it eats the mouse.
The dog does not eat the mouse.
@0: The dog is green.[(triple1)] The mouse visits the dog.[(triple2)] @1: The dog eats the mouse.[(((triple1) -> rule8))] The dog is young.[(((triple2) -> rule1))] @2: The mouse is not cold.[(((((triple1) -> rule8)) -> rule3) OR ((((((((((triple1) -> rule8)) -> rule5)) -> rule4)) -> rule8)) -> rule3))] The mouse needs the dog.[(((((triple1) -> rule8)) -> rule5))] @3: The mouse is green.[(((((((triple1) -> rule8)) -> rule5)) -> rule4))] @4: The mouse eats the mouse.[(((((((((triple1) -> rule8)) -> rule5)) -> rule4)) -> rule8))]