The bear chases the cat. The bear chases the squirrel. The bear is young. The bear does not see the squirrel. The cat chases the cow. The cat chases the squirrel. The cat eats the squirrel. The cat is not kind. The cat does not see the cow. The cow does not chase the cat. The cow chases the squirrel. The squirrel chases the bear. The squirrel eats the cat. The squirrel eats the cow. The squirrel is young. The squirrel sees the cow. If something eats the bear then the bear sees the cow. If something is kind then it eats the bear. If the cow chases the bear and the cat does not chase the cow then the cow sees the squirrel. If something sees the squirrel then it is rough. If something eats the bear and it does not chase the cat then the cat sees the bear. If something sees the cow then it is kind. If something eats the squirrel then it eats the cat.
The bear does not see the squirrel.
@0: The bear chases the cat.[(triple1)] The bear chases the squirrel.[(triple2)] The bear does not see the squirrel.[(triple4)] The bear is young.[(triple3)] The cat chases the cow.[(triple5)] The cat chases the squirrel.[(triple6)] The cat does not see the cow.[(triple9)] The cat eats the squirrel.[(triple7)] The cat is not kind.[(triple8)] The cow chases the squirrel.[(triple11)] The cow does not chase the cat.[(triple10)] The squirrel chases the bear.[(triple12)] The squirrel eats the cat.[(triple13)] The squirrel eats the cow.[(triple14)] The squirrel is young.[(triple15)] The squirrel sees the cow.[(triple16)] @1: The cat eats the cat.[(((triple7) -> rule7))] The squirrel is kind.[(((triple16) -> rule6))] @2: The squirrel eats the bear.[(((((triple16) -> rule6)) -> rule2))] @3: The bear sees the cow.[(((((((triple16) -> rule6)) -> rule2)) -> rule1))] @4: The bear is kind.[(((((((((triple16) -> rule6)) -> rule2)) -> rule1)) -> rule6))] @5: The bear eats the bear.[(((((((((((triple16) -> rule6)) -> rule2)) -> rule1)) -> rule6)) -> rule2))]