The bear chases the cow. The bear chases the dog. The bear chases the lion. The bear sees the lion. The cow is big. The cow does not see the bear. The cow visits the lion. The dog chases the cow. The dog chases the lion. The dog does not visit the lion. The lion chases the bear. The lion does not chase the cow. If the cow is round then the cow does not see the bear. If something sees the lion then the lion is green. If something visits the lion and the lion chases the bear then the lion does not see the cow. If something is green then it sees the bear. If something visits the cow then the cow does not visit the bear. If something is green then it visits the bear. If something is green then it visits the cow. If something sees the cow and it is not kind then it is not blue.
The bear chases the bear.
@0: The bear chases the cow.[(triple1)] The bear chases the dog.[(triple2)] The bear chases the lion.[(triple3)] The bear sees the lion.[(triple4)] The cow does not see the bear.[(triple6)] The cow is big.[(triple5)] The cow visits the lion.[(triple7)] The dog chases the cow.[(triple8)] The dog chases the lion.[(triple9)] The dog does not visit the lion.[(triple10)] The lion chases the bear.[(triple11)] The lion does not chase the cow.[(triple12)] @1: The lion does not see the cow.[(((triple7 triple11) -> rule3))] The lion is green.[(((triple4) -> rule2))] @2: The lion sees the bear.[(((((triple4) -> rule2)) -> rule4))] The lion visits the bear.[(((((triple4) -> rule2)) -> rule6))] The lion visits the cow.[(((((triple4) -> rule2)) -> rule7))] @3: The cow does not visit the bear.[(((((((triple4) -> rule2)) -> rule7)) -> rule5))]