The bear is rough. The bear likes the cat. The cat likes the bear. The cat visits the rabbit. The rabbit chases the bear. The rabbit chases the cat. The rabbit visits the bear. If someone visits the rabbit and the rabbit chases the bear then the bear likes the cat.
The rabbit visits the rabbit.
@0: The bear is rough.[(triple1)] The bear likes the cat.[(triple2 OR ((triple4 triple5) -> rule1))] The cat likes the bear.[(triple3)] The cat visits the rabbit.[(triple4)] The rabbit chases the bear.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit visits the bear.[(triple7)]