The cow eats the rabbit. The cow is green. The dog chases the cow. The dog is rough. The dog is round. The rabbit eats the cow. The rabbit eats the tiger. The tiger is cold. The tiger is round. The tiger needs the dog. If something needs the tiger and the tiger eats the rabbit then the tiger chases the rabbit. If something needs the dog then the dog needs the rabbit. If something needs the cow then it chases the dog.
The tiger needs the cow.
@0: The cow eats the rabbit.[(triple1)] The cow is green.[(triple2)] The dog chases the cow.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit eats the tiger.[(triple7)] The tiger is cold.[(triple8)] The tiger is round.[(triple9)] The tiger needs the dog.[(triple10)] @1: The dog needs the rabbit.[(((triple10) -> rule2))]