The cow is kind. The dog does not need the rabbit. The rabbit eats the cow. The tiger is kind. The tiger needs the cow. The tiger needs the rabbit. The tiger visits the dog. If the tiger eats the dog and the tiger does not eat the rabbit then the dog is blue. If something is green and it visits the dog then it eats the dog.
The dog eats the rabbit.
@0: The cow is kind.[(triple1)] The dog does not need the rabbit.[(triple2)] The rabbit eats the cow.[(triple3)] The tiger is kind.[(triple4)] The tiger needs the cow.[(triple5)] The tiger needs the rabbit.[(triple6)] The tiger visits the dog.[(triple7)]