The bear chases the squirrel. The bear is blue. The cat chases the bear. The cat eats the bear. The cat eats the squirrel. The cat is big. The cat is blue. The cat sees the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel eats the cat. The squirrel is big. The squirrel is blue. The squirrel is round. The squirrel is young. The squirrel sees the bear. If something sees the bear then it sees the cat. If something is blue and it sees the cat then the cat sees the bear. If the cat chases the bear then the cat is green.
The squirrel does not see the cat.
@0: The bear chases the squirrel.[(triple1)] The bear is blue.[(triple2)] The cat chases the bear.[(triple3)] The cat eats the bear.[(triple4)] The cat eats the squirrel.[(triple5)] The cat is big.[(triple6)] The cat is blue.[(triple7)] The cat sees the squirrel.[(triple8)] The squirrel chases the bear.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel eats the cat.[(triple11)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel sees the bear.[(triple16)] @1: The cat is green.[(((triple3) -> rule3))] The squirrel sees the cat.[(((triple16) -> rule1))] @2: The cat sees the bear.[(((triple13 ((triple16) -> rule1)) -> rule2))] @3: The cat sees the cat.[(((((triple13 ((triple16) -> rule1)) -> rule2)) -> rule1))]