The bear is green. The mouse needs the tiger. The squirrel is big. The tiger is blue. If something sees the tiger then the tiger is big. If something is green then it needs the mouse. If something is green and big then it chases the mouse. If something needs the bear then the bear sees the mouse. If something needs the squirrel and it chases the tiger then the squirrel sees the mouse. If something needs the mouse and it is green then the mouse sees the tiger.
The tiger does not chase the mouse.
@0: The bear is green.[(triple1)] The mouse needs the tiger.[(triple2)] The squirrel is big.[(triple3)] The tiger is blue.[(triple4)] @1: The bear needs the mouse.[(((triple1) -> rule2))] @2: The mouse sees the tiger.[(((((triple1) -> rule2) triple1) -> rule6))] @3: The tiger is big.[(((((((triple1) -> rule2) triple1) -> rule6)) -> rule1))]