The bear visits the rabbit. The dog chases the rabbit. The dog is green. The dog is red. The dog needs the bear. The dog visits the rabbit. The rabbit chases the bear. The rabbit is green. The rabbit visits the bear. The rabbit visits the dog. If someone chases the bear then the bear chases the rabbit. If the dog visits the bear then the dog chases the bear. If someone needs the rabbit then they are green. If someone needs the bear and the bear chases the rabbit then the bear needs the rabbit. If someone chases the rabbit and they chase the bear then the rabbit needs the bear. If someone chases the dog then they visit the bear. If someone chases the bear then they visit the rabbit. If someone is cold then they visit the dog.
The bear needs the rabbit.
@0: The bear visits the rabbit.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is green.[(triple3)] The dog is red.[(triple4)] The dog needs the bear.[(triple5)] The dog visits the rabbit.[(triple6)] The rabbit chases the bear.[(triple7)] The rabbit is green.[(triple8)] The rabbit visits the bear.[(triple9)] The rabbit visits the dog.[(triple10)] @1: The bear chases the rabbit.[(((triple7) -> rule1))] The rabbit visits the rabbit.[(((triple7) -> rule7))] @2: The bear needs the rabbit.[(((triple5 ((triple7) -> rule1)) -> rule4))] @3: The bear is green.[(((((triple5 ((triple7) -> rule1)) -> rule4)) -> rule3))]