The bear sees the rabbit. The cow does not visit the rabbit. The rabbit sees the cow. If something sees the cow and it is cold then it is rough. If something eats the rabbit then the rabbit does not visit the bear. If the rabbit sees the cow then the cow visits the bear. If something sees the cow then it eats the rabbit. If something is rough and it does not eat the cow then it does not visit the bear. If something visits the bear then the bear sees the cow.
The cow does not visit the rabbit.
@0: The bear sees the rabbit.[(triple1)] The cow does not visit the rabbit.[(triple2)] The rabbit sees the cow.[(triple3)] @1: The cow visits the bear.[(((triple3) -> rule3))] The rabbit eats the rabbit.[(((triple3) -> rule4))] @2: The bear sees the cow.[(((((triple3) -> rule3)) -> rule6))] The rabbit does not visit the bear.[(((((triple3) -> rule4)) -> rule2) OR ((((((((triple3) -> rule3)) -> rule6)) -> rule4)) -> rule2))] @3: The bear eats the rabbit.[(((((((triple3) -> rule3)) -> rule6)) -> rule4))]