The bear eats the rabbit. The bear is cold. The bear sees the dog. The bear does not see the squirrel. The dog eats the bear. The rabbit eats the dog. The rabbit needs the dog. The rabbit sees the squirrel. The squirrel eats the dog. The squirrel is green. The squirrel sees the bear. The squirrel sees the dog. If something sees the rabbit then the rabbit sees the bear. If something sees the bear then it sees the rabbit.
The bear sees the rabbit.
@0: The bear does not see the squirrel.[(triple4)] The bear eats the rabbit.[(triple1)] The bear is cold.[(triple2)] The bear sees the dog.[(triple3)] The dog eats the bear.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit needs the dog.[(triple7)] The rabbit sees the squirrel.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is green.[(triple10)] The squirrel sees the bear.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The squirrel sees the rabbit.[(((triple11) -> rule2))] @2: The rabbit sees the bear.[(((((triple11) -> rule2)) -> rule1))] @3: The rabbit sees the rabbit.[(((((((triple11) -> rule2)) -> rule1)) -> rule2))]