The cow is green. The dog is round. The lion is green. The lion likes the dog. The tiger chases the cow. The tiger likes the cow. The tiger needs the dog. If the lion is round then the lion needs the cow.
The cow chases the tiger.
@0: The cow is green.[(triple1)] The dog is round.[(triple2)] The lion is green.[(triple3)] The lion likes the dog.[(triple4)] The tiger chases the cow.[(triple5)] The tiger likes the cow.[(triple6)] The tiger needs the dog.[(triple7)]