The dog is blue. The dog is kind. The dog needs the tiger. The dog sees the tiger. The mouse does not eat the tiger. The mouse is green. The mouse needs the dog. The mouse does not need the tiger. The mouse sees the dog. The tiger eats the mouse. The tiger needs the mouse. The tiger does not see the mouse. If someone sees the tiger then they are green.
The mouse does not need the mouse.
@0: The dog is blue.[(triple1)] The dog is kind.[(triple2)] The dog needs the tiger.[(triple3)] The dog sees the tiger.[(triple4)] The mouse does not eat the tiger.[(triple5)] The mouse does not need the tiger.[(triple8)] The mouse is green.[(triple6)] The mouse needs the dog.[(triple7)] The mouse sees the dog.[(triple9)] The tiger does not see the mouse.[(triple12)] The tiger eats the mouse.[(triple10)] The tiger needs the mouse.[(triple11)] @1: The dog is green.[(((triple4) -> rule1))]