The bear chases the cow. The cow is cold. The cow likes the dog. The cow sees the dog. The dog chases the bear. The dog is green. The dog is nice. The dog likes the bear. The dog sees the bear. The dog sees the cow. If something sees the cow and the cow is cold then the cow chases the dog. If something chases the bear and the bear chases the cow then the cow sees the dog. All big things are green. If something sees the dog and it chases the cow then the cow is green. If something likes the dog and it is big then the dog likes the cow. If something chases the dog then it is round. If something likes the dog and the dog chases the cow then it likes the bear. If something likes the dog and it sees the dog then it likes the cow.
The cow does not chase the dog.
@0: The bear chases the cow.[(triple1)] The cow is cold.[(triple2)] The cow likes the dog.[(triple3)] The cow sees the dog.[(triple4 OR ((triple5 triple1) -> rule2))] The dog chases the bear.[(triple5)] The dog is green.[(triple6)] The dog is nice.[(triple7)] The dog likes the bear.[(triple8)] The dog sees the bear.[(triple9)] The dog sees the cow.[(triple10)] @1: The cow chases the dog.[(((triple10 triple2) -> rule1))] The cow likes the cow.[(((triple3 triple4) -> rule8) OR ((triple3 ((triple5 triple1) -> rule2)) -> rule8))] @2: The cow is round.[(((((triple10 triple2) -> rule1)) -> rule6))]