The bear likes the cow. The cow sees the bear. The dog likes the bear. If something sees the bear then the bear likes the cow. If the cow visits the bear and the cow likes the dog then the bear visits the dog. If something sees the bear then the bear does not visit the cow. If something visits the bear then it does not like the cow. If something is round then it visits the bear. If something likes the dog and the dog likes the cow then the dog is nice.
The cow does not visit the bear.
@0: The bear likes the cow.[(triple1 OR ((triple2) -> rule1))] The cow sees the bear.[(triple2)] The dog likes the bear.[(triple3)] @1: The bear does not visit the cow.[(((triple2) -> rule3))]