The bear is big. The bear likes the cow. The bear likes the squirrel. The bear sees the mouse. The bear sees the squirrel. The cow eats the bear. The cow likes the bear. The cow sees the mouse. The mouse eats the bear. The mouse is big. The mouse is kind. The mouse likes the cow. The mouse likes the squirrel. The mouse sees the squirrel. The squirrel is cold. If something likes the mouse and it eats the bear then the mouse eats the squirrel. If something is cold then it eats the cow. If something is kind then it likes the mouse. If the bear eats the cow then the cow is big. If something is kind and it likes the mouse then the mouse eats the cow. If something likes the squirrel then the squirrel sees the mouse. If something is big then it sees the mouse. If something eats the squirrel and the squirrel eats the cow then the squirrel eats the mouse.
The mouse is nice.
@0: The bear is big.[(triple1)] The bear likes the cow.[(triple2)] The bear likes the squirrel.[(triple3)] The bear sees the mouse.[(triple4 OR ((triple1) -> rule7))] The bear sees the squirrel.[(triple5)] The cow eats the bear.[(triple6)] The cow likes the bear.[(triple7)] The cow sees the mouse.[(triple8)] The mouse eats the bear.[(triple9)] The mouse is big.[(triple10)] The mouse is kind.[(triple11)] The mouse likes the cow.[(triple12)] The mouse likes the squirrel.[(triple13)] The mouse sees the squirrel.[(triple14)] The squirrel is cold.[(triple15)] @1: The mouse likes the mouse.[(((triple11) -> rule3))] The mouse sees the mouse.[(((triple10) -> rule7))] The squirrel eats the cow.[(((triple15) -> rule2))] The squirrel sees the mouse.[(((triple13) -> rule6) OR ((triple3) -> rule6))] @2: The mouse eats the cow.[(((triple11 ((triple11) -> rule3)) -> rule5))] The mouse eats the squirrel.[(((((triple11) -> rule3) triple9) -> rule1))] @3: The squirrel eats the mouse.[(((((((triple11) -> rule3) triple9) -> rule1) ((triple15) -> rule2)) -> rule8))]