The bear eats the lion. The bear visits the cow. The cow is rough. The cow likes the lion. The cow does not visit the bear. The cow visits the lion. The lion is nice. If something is rough then it likes the bear. If something visits the cow then the cow likes the lion.
The lion does not visit the bear.
@0: The bear eats the lion.[(triple1)] The bear visits the cow.[(triple2)] The cow does not visit the bear.[(triple5)] The cow is rough.[(triple3)] The cow likes the lion.[(triple4 OR ((triple2) -> rule2))] The cow visits the lion.[(triple6)] The lion is nice.[(triple7)] @1: The cow likes the bear.[(((triple3) -> rule1))]