The bear likes the mouse. The dog sees the bear. The mouse likes the dog. The squirrel sees the mouse. If someone is cold and green then they like the bear. If the squirrel is cold then the squirrel is green. If someone likes the bear then the bear needs the mouse. If someone sees the squirrel and they like the bear then the bear likes the mouse. If someone is big and red then they like the squirrel. If someone sees the mouse then the mouse needs the squirrel. If someone needs the bear then they like the bear. If someone needs the squirrel then they need the dog.
The bear does not like the mouse.
@0: The bear likes the mouse.[(triple1)] The dog sees the bear.[(triple2)] The mouse likes the dog.[(triple3)] The squirrel sees the mouse.[(triple4)] @1: The mouse needs the squirrel.[(((triple4) -> rule6))] @2: The mouse needs the dog.[(((((triple4) -> rule6)) -> rule8))]