The bear is cold. The dog is rough. The rabbit is nice. If someone eats the rabbit and they chase the rabbit then the rabbit chases the bear. If someone chases the dog and they are cold then the dog chases the bear. If someone eats the dog then they chase the bear. If the dog does not eat the rabbit and the dog does not visit the rabbit then the dog chases the rabbit. If someone chases the rabbit then they are green. If someone is nice then they visit the dog. If someone visits the dog then they chase the rabbit. If the bear does not visit the rabbit then the rabbit visits the dog.
The dog does not visit the dog.
@0: The bear is cold.[(triple1)] The dog is rough.[(triple2)] The rabbit is nice.[(triple3)] @1: The rabbit visits the dog.[(((triple3) -> rule6))] @2: The rabbit chases the rabbit.[(((((triple3) -> rule6)) -> rule7))] @3: The rabbit is green.[(((((((triple3) -> rule6)) -> rule7)) -> rule5))]