The bear is cold. The squirrel eats the bear. The tiger is cold. If something needs the bear then it eats the tiger. If something is blue and big then it does not eat the tiger. If something is cold then it needs the tiger. If the tiger is nice and the tiger needs the squirrel then the tiger does not eat the squirrel. If something is cold then it needs the squirrel. If something needs the tiger then it needs the bear. If something is kind and not big then it is cold. If something is blue and it does not see the bear then the bear does not need the squirrel.
The tiger needs the bear.
@0: The bear is cold.[(triple1)] The squirrel eats the bear.[(triple2)] The tiger is cold.[(triple3)] @1: The bear needs the squirrel.[(((triple1) -> rule5))] The bear needs the tiger.[(((triple1) -> rule3))] The tiger needs the squirrel.[(((triple3) -> rule5))] The tiger needs the tiger.[(((triple3) -> rule3))] @2: The bear needs the bear.[(((((triple1) -> rule3)) -> rule6))] The tiger needs the bear.[(((((triple3) -> rule3)) -> rule6))] @3: The bear eats the tiger.[(((((((triple1) -> rule3)) -> rule6)) -> rule1))] The tiger eats the tiger.[(((((((triple3) -> rule3)) -> rule6)) -> rule1))]