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