The bear sees the tiger. The dog eats the bear. The dog eats the mouse. The dog is red. The mouse is red. The tiger is not green. The tiger is rough. If someone is rough then they do not chase the tiger.
The dog does not eat the mouse.
@0: The bear sees the tiger.[(triple1)] The dog eats the bear.[(triple2)] The dog eats the mouse.[(triple3)] The dog is red.[(triple4)] The mouse is red.[(triple5)] The tiger is not green.[(triple6)] The tiger is rough.[(triple7)] @1: The tiger does not chase the tiger.[(((triple7) -> rule1))]