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