The bear likes the rabbit. The dog is green. The dog visits the rabbit. The rabbit eats the bear. The rabbit eats the dog. The rabbit likes the bear. The rabbit visits the bear. If someone visits the rabbit then they eat the rabbit. If someone is rough and they like the dog then they eat the bear.
The rabbit does not eat the dog.
@0: The bear likes the rabbit.[(triple1)] The dog is green.[(triple2)] The dog visits the rabbit.[(triple3)] The rabbit eats the bear.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit visits the bear.[(triple7)] @1: The dog eats the rabbit.[(((triple3) -> rule1))]