The bear needs the squirrel. The bear sees the squirrel. The mouse is big. The mouse is cold. The mouse needs the squirrel. The squirrel eats the mouse. The squirrel is cold. The squirrel needs the bear. The squirrel sees the bear. The tiger is kind. If the mouse sees the tiger and the mouse needs the bear then the mouse needs the squirrel. If someone is kind and big then they eat the mouse. If the mouse is red then the mouse needs the tiger. If someone needs the bear then they see the tiger. If someone sees the mouse then they are red. If someone is cold and they see the tiger then the tiger is big.
The mouse needs the mouse.
@0: The bear needs the squirrel.[(triple1)] The bear sees the squirrel.[(triple2)] The mouse is big.[(triple3)] The mouse is cold.[(triple4)] The mouse needs the squirrel.[(triple5)] The squirrel eats the mouse.[(triple6)] The squirrel is cold.[(triple7)] The squirrel needs the bear.[(triple8)] The squirrel sees the bear.[(triple9)] The tiger is kind.[(triple10)] @1: The squirrel sees the tiger.[(((triple8) -> rule4))] @2: The tiger is big.[(((triple7 ((triple8) -> rule4)) -> rule6))] @3: The tiger eats the mouse.[(((triple10 ((triple7 ((triple8) -> rule4)) -> rule6)) -> rule2))]