The bear sees the dog. The dog eats the mouse. The mouse is blue. The mouse is kind. The mouse sees the dog. The tiger needs the dog. The tiger sees the dog. If something is blue then it needs the bear. If something sees the bear and the bear sees the tiger then it is kind. If the tiger needs the dog and the tiger is nice then the tiger eats the bear. If something is red then it eats the dog. If something eats the mouse then it needs the mouse. If something is blue and it needs the bear then it is red. If the tiger is kind then the tiger sees the dog. If something is kind and nice then it sees the mouse.
The tiger needs the mouse.
@0: The bear sees the dog.[(triple1)] The dog eats the mouse.[(triple2)] The mouse is blue.[(triple3)] The mouse is kind.[(triple4)] The mouse sees the dog.[(triple5)] The tiger needs the dog.[(triple6)] The tiger sees the dog.[(triple7)] @1: The dog needs the mouse.[(((triple2) -> rule5))] The mouse needs the bear.[(((triple3) -> rule1))] @2: The mouse is red.[(((triple3 ((triple3) -> rule1)) -> rule6))] @3: The mouse eats the dog.[(((((triple3 ((triple3) -> rule1)) -> rule6)) -> rule4))]