The bear chases the rabbit. The cow does not chase the dog. The cow does not like the rabbit. The cow sees the dog. The cow sees the rabbit. The dog is young. The dog likes the bear. The dog likes the cow. The dog sees the bear. The rabbit is not young. The rabbit likes the bear. The rabbit sees the bear. If the bear sees the dog then the bear likes the rabbit. If the dog likes the bear then the dog chases the cow. If something likes the bear then the bear chases the cow.
The bear does not like the rabbit.
@0: The bear chases the rabbit.[(triple1)] The cow does not chase the dog.[(triple2)] The cow does not like the rabbit.[(triple3)] The cow sees the dog.[(triple4)] The cow sees the rabbit.[(triple5)] The dog is young.[(triple6)] The dog likes the bear.[(triple7)] The dog likes the cow.[(triple8)] The dog sees the bear.[(triple9)] The rabbit is not young.[(triple10)] The rabbit likes the bear.[(triple11)] The rabbit sees the bear.[(triple12)] @1: The bear chases the cow.[(((triple11) -> rule3) OR ((triple7) -> rule3))] The dog chases the cow.[(((triple7) -> rule2))]