The bear chases the cow. The bear is blue. The bear is young. The bear sees the cow. The bear sees the tiger. The cow does not chase the bear. The cow is kind. The cow is round. The cow is not young. The tiger is red. The tiger needs the bear. The tiger needs the cow. Young things are round. If something is red then it is not kind. If something needs the bear and the bear needs the cow then it needs the cow. If something is round then it sees the bear. If something chases the bear then the bear sees the tiger. If the bear chases the tiger and the tiger does not need the bear then the tiger chases the bear. If something needs the cow and it needs the tiger then it is red. If something needs the bear and it does not see the bear then it does not see the tiger.
The bear does not see the cow.
@0: The bear chases the cow.[(triple1)] The bear is blue.[(triple2)] The bear is young.[(triple3)] The bear sees the cow.[(triple4)] The bear sees the tiger.[(triple5)] The cow does not chase the bear.[(triple6)] The cow is kind.[(triple7)] The cow is not young.[(triple9)] The cow is round.[(triple8)] The tiger is red.[(triple10)] The tiger needs the bear.[(triple11)] The tiger needs the cow.[(triple12)] @1: The bear is round.[(((triple3) -> rule1))] The cow sees the bear.[(((triple8) -> rule4))] The tiger is not kind.[(((triple10) -> rule2))] @2: The bear sees the bear.[(((((triple3) -> rule1)) -> rule4))]