The bear chases the cow. The cow chases the bear. The cow is red. The cow visits the bear. The dog is big. The dog likes the cow. The dog visits the bear. If something chases the cow then the cow does not visit the dog. If something likes the bear then the bear is not round. If the cow visits the dog and the cow is not big then the cow chases the bear. If something visits the bear then it is round. If something is round then it likes the bear. If something is round then it likes the bear. If something is red and it does not like the bear then it chases the bear. If something chases the bear and it likes the dog then it chases the dog.
The dog does not chase the bear.
@0: The bear chases the cow.[(triple1)] The cow chases the bear.[(triple2)] The cow is red.[(triple3)] The cow visits the bear.[(triple4)] The dog is big.[(triple5)] The dog likes the cow.[(triple6)] The dog visits the bear.[(triple7)] @1: The cow does not visit the dog.[(((triple1) -> rule1))] The cow is round.[(((triple4) -> rule4))] The dog is round.[(((triple7) -> rule4))] @2: The cow likes the bear.[(((((triple4) -> rule4)) -> rule5) OR ((((triple4) -> rule4)) -> rule6))] The dog likes the bear.[(((((triple7) -> rule4)) -> rule5) OR ((((triple7) -> rule4)) -> rule6))] @3: The bear is not round.[(((((((triple4) -> rule4)) -> rule5)) -> rule2) OR ((((((triple4) -> rule4)) -> rule6)) -> rule2) OR ((((((triple7) -> rule4)) -> rule5)) -> rule2) OR ((((((triple7) -> rule4)) -> rule6)) -> rule2))]