The cow is kind. The cow sees the mouse. The mouse eats the cow. The mouse is kind. The mouse needs the squirrel. The rabbit eats the mouse. The rabbit is not blue. The squirrel is not blue. The squirrel is green. The squirrel is rough. The squirrel needs the mouse. The squirrel sees the rabbit. If something sees the cow then it sees the squirrel. If something sees the rabbit then it eats the cow. If something needs the cow then the cow eats the mouse. If something needs the squirrel and the squirrel needs the cow then the cow does not need the rabbit. If the mouse eats the rabbit and the rabbit does not see the mouse then the rabbit is green. If the cow needs the rabbit then the rabbit does not eat the mouse. If something eats the squirrel and the squirrel eats the cow then it needs the cow. If something eats the mouse then it eats the squirrel.
The mouse needs the mouse.
@0: The cow is kind.[(triple1)] The cow sees the mouse.[(triple2)] The mouse eats the cow.[(triple3)] The mouse is kind.[(triple4)] The mouse needs the squirrel.[(triple5)] The rabbit eats the mouse.[(triple6)] The rabbit is not blue.[(triple7)] The squirrel is green.[(triple9)] The squirrel is not blue.[(triple8)] The squirrel is rough.[(triple10)] The squirrel needs the mouse.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The rabbit eats the squirrel.[(((triple6) -> rule8))] The squirrel eats the cow.[(((triple12) -> rule2))] @2: The rabbit needs the cow.[(((((triple6) -> rule8) ((triple12) -> rule2)) -> rule7))] @3: The cow eats the mouse.[(((((((triple6) -> rule8) ((triple12) -> rule2)) -> rule7)) -> rule3))] @4: The cow eats the squirrel.[(((((((((triple6) -> rule8) ((triple12) -> rule2)) -> rule7)) -> rule3)) -> rule8))] @5: The cow needs the cow.[(((((((((((triple6) -> rule8) ((triple12) -> rule2)) -> rule7)) -> rule3)) -> rule8) ((triple12) -> rule2)) -> rule7))]