The bear visits the cat. The bear visits the rabbit. The cat needs the bear. The cat visits the bear. The dog eats the rabbit. The dog is blue. The dog is cold. The dog is nice. The rabbit is not blue. The rabbit is nice. The rabbit needs the cat. The rabbit visits the dog. If something visits the dog then the dog needs the rabbit.
The bear eats the dog.
@0: The bear visits the cat.[(triple1)] The bear visits the rabbit.[(triple2)] The cat needs the bear.[(triple3)] The cat visits the bear.[(triple4)] The dog eats the rabbit.[(triple5)] The dog is blue.[(triple6)] The dog is cold.[(triple7)] The dog is nice.[(triple8)] The rabbit is nice.[(triple10)] The rabbit is not blue.[(triple9)] The rabbit needs the cat.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The dog needs the rabbit.[(((triple12) -> rule1))]