The bear chases the rabbit. The bear chases the squirrel. The bear is not nice. The bear does not see the rabbit. The bear sees the squirrel. The rabbit eats the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is big. The squirrel is cold. The squirrel is kind. The squirrel does not see the bear. If something is kind and cold then it eats the squirrel. If something chases the rabbit and it sees the bear then it sees the squirrel. If something eats the squirrel then it sees the squirrel. If something is big and it sees the squirrel then the squirrel does not see the rabbit. If the rabbit chases the squirrel then the rabbit chases the bear. If the rabbit sees the squirrel and the bear does not eat the rabbit then the bear eats the squirrel. If the rabbit is rough and the rabbit chases the bear then the rabbit does not chase the squirrel. If something is rough and it does not chase the bear then the bear chases the squirrel.
The squirrel sees the rabbit.
@0: The bear chases the rabbit.[(triple1)] The bear chases the squirrel.[(triple2)] The bear does not see the rabbit.[(triple4)] The bear is not nice.[(triple3)] The bear sees the squirrel.[(triple5)] The rabbit eats the squirrel.[(triple6)] The squirrel chases the bear.[(triple7)] The squirrel does not see the bear.[(triple12)] The squirrel eats the bear.[(triple8)] The squirrel is big.[(triple9)] The squirrel is cold.[(triple10)] The squirrel is kind.[(triple11)] @1: The rabbit sees the squirrel.[(((triple6) -> rule3))] The squirrel eats the squirrel.[(((triple11 triple10) -> rule1))] @2: The squirrel sees the squirrel.[(((((triple11 triple10) -> rule1)) -> rule3))] @3: The squirrel does not see the rabbit.[(((triple9 ((((triple11 triple10) -> rule1)) -> rule3)) -> rule4))]