The bear chases the lion. The bear sees the lion. The cow chases the squirrel. The cow is green. The lion chases the bear. The lion likes the bear. The lion sees the bear. The squirrel chases the bear. The squirrel is green. The squirrel is young. The squirrel likes the cow. The squirrel sees the cow. If someone is young and they see the bear then the bear sees the squirrel. If the bear sees the squirrel then the bear is green. If someone likes the bear then they see the bear. If someone is green then they like the bear. If someone chases the bear and they see the lion then they chase the lion. If someone sees the squirrel and the squirrel sees the lion then they chase the lion. If someone is green then they see the squirrel. If the lion sees the squirrel and the lion likes the cow then the squirrel chases the lion. If someone sees the lion and the lion likes the cow then the cow is red.
The lion sees the squirrel.
@0: The bear chases the lion.[(triple1)] The bear sees the lion.[(triple2)] The cow chases the squirrel.[(triple3)] The cow is green.[(triple4)] The lion chases the bear.[(triple5)] The lion likes the bear.[(triple6)] The lion sees the bear.[(triple7 OR ((triple6) -> rule3))] The squirrel chases the bear.[(triple8)] The squirrel is green.[(triple9)] The squirrel is young.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel sees the cow.[(triple12)] @1: The cow likes the bear.[(((triple4) -> rule4))] The cow sees the squirrel.[(((triple4) -> rule7))] The squirrel likes the bear.[(((triple9) -> rule4))] The squirrel sees the squirrel.[(((triple9) -> rule7))] @2: The cow sees the bear.[(((((triple4) -> rule4)) -> rule3))] The squirrel sees the bear.[(((((triple9) -> rule4)) -> rule3))] @3: The bear sees the squirrel.[(((triple10 ((((triple9) -> rule4)) -> rule3)) -> rule1))] @4: The bear is green.[(((((triple10 ((((triple9) -> rule4)) -> rule3)) -> rule1)) -> rule2))] @5: The bear likes the bear.[(((((((triple10 ((((triple9) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4))] @6: The bear sees the bear.[(((((((((triple10 ((((triple9) -> rule4)) -> rule3)) -> rule1)) -> rule2)) -> rule4)) -> rule3))]