The bear visits the cat. The cat eats the bear. The cat visits the bear. If someone eats the bear then they visit the bear.
The bear does not visit the cat.
@0: The bear visits the cat.[(triple1)] The cat eats the bear.[(triple2)] The cat visits the bear.[(triple3 OR ((triple2) -> rule1))]