The bear needs the rabbit. The bear needs the tiger. The cow chases the rabbit. The cow needs the bear. The cow visits the bear. The cow visits the rabbit. The cow visits the tiger. The rabbit is green. The rabbit is kind. The rabbit needs the bear. The tiger chases the bear. The tiger chases the cow. The tiger is kind. The tiger needs the cow. The tiger visits the bear. The tiger visits the cow. If something chases the rabbit then the rabbit visits the bear.
The rabbit is green.
@0: The bear needs the rabbit.[(triple1)] The bear needs the tiger.[(triple2)] The cow chases the rabbit.[(triple3)] The cow needs the bear.[(triple4)] The cow visits the bear.[(triple5)] The cow visits the rabbit.[(triple6)] The cow visits the tiger.[(triple7)] The rabbit is green.[(triple8)] The rabbit is kind.[(triple9)] The rabbit needs the bear.[(triple10)] The tiger chases the bear.[(triple11)] The tiger chases the cow.[(triple12)] The tiger is kind.[(triple13)] The tiger needs the cow.[(triple14)] The tiger visits the bear.[(triple15)] The tiger visits the cow.[(triple16)] @1: The rabbit visits the bear.[(((triple3) -> rule1))]