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 is kind.
@0: The bear visits the cat.[(triple1)] The cat eats the bear.[(triple2)] The cat visits the bear.[(triple3 OR ((triple2) -> rule1))]