The bear eats the squirrel. The bear likes the squirrel. The bear sees the mouse. The cow likes the bear. The cow does not see the mouse. The mouse is not young. The mouse likes the bear. The squirrel eats the mouse. The squirrel does not like the mouse. The squirrel sees the mouse. If someone likes the mouse then they are nice. If the bear does not eat the cow and the cow does not eat the squirrel then the bear does not eat the squirrel. If the cow is young then the cow is cold. All young people are cold. If someone is young and cold then they are rough. If someone likes the squirrel then they are young.
The mouse does not eat the squirrel.
@0: The bear eats the squirrel.[(triple1)] The bear likes the squirrel.[(triple2)] The bear sees the mouse.[(triple3)] The cow does not see the mouse.[(triple5)] The cow likes the bear.[(triple4)] The mouse is not young.[(triple6)] The mouse likes the bear.[(triple7)] The squirrel does not like the mouse.[(triple9)] The squirrel eats the mouse.[(triple8)] The squirrel sees the mouse.[(triple10)] @1: The bear is young.[(((triple2) -> rule6))] @2: The bear is cold.[(((((triple2) -> rule6)) -> rule4))] @3: The bear is rough.[(((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule4)) -> rule5))]