The cow chases the dog. The cow chases the mouse. The cow chases the rabbit. The cow is nice. The cow is young. The cow needs the mouse. The dog chases the rabbit. The dog likes the cow. The dog needs the cow. The dog needs the rabbit. The mouse chases the cow. The mouse chases the dog. The mouse needs the cow. The rabbit chases the cow. The rabbit is green. The rabbit likes the cow. If someone needs the cow then the cow chases the rabbit. If someone is green and young then they like the dog. If someone likes the rabbit and the rabbit is green then they need the rabbit.
The cow likes the mouse.
@0: The cow chases the dog.[(triple1)] The cow chases the mouse.[(triple2)] The cow chases the rabbit.[(triple3 OR ((triple13) -> rule1) OR ((triple9) -> rule1))] The cow is nice.[(triple4)] The cow is young.[(triple5)] The cow needs the mouse.[(triple6)] The dog chases the rabbit.[(triple7)] The dog likes the cow.[(triple8)] The dog needs the cow.[(triple9)] The dog needs the rabbit.[(triple10)] The mouse chases the cow.[(triple11)] The mouse chases the dog.[(triple12)] The mouse needs the cow.[(triple13)] The rabbit chases the cow.[(triple14)] The rabbit is green.[(triple15)] The rabbit likes the cow.[(triple16)]