The bear eats the mouse. The cat eats the bear. The cat eats the dog. The cat visits the bear. The dog needs the bear. The mouse is red. The mouse visits the dog. If something eats the dog then it needs the bear.
The mouse is not green.
@0: The bear eats the mouse.[(triple1)] The cat eats the bear.[(triple2)] The cat eats the dog.[(triple3)] The cat visits the bear.[(triple4)] The dog needs the bear.[(triple5)] The mouse is red.[(triple6)] The mouse visits the dog.[(triple7)] @1: The cat needs the bear.[(((triple3) -> rule1))]