The cow chases the tiger. The cow is not blue. The cow is red. The cow is young. The cow needs the tiger. The cow visits the tiger. The tiger chases the cow. The tiger is young. The tiger does not need the cow. The tiger visits the cow. If someone is blue then they need the tiger. If someone needs the tiger and they need the cow then the tiger needs the cow.
The cow is big.
@0: The cow chases the tiger.[(triple1)] The cow is not blue.[(triple2)] The cow is red.[(triple3)] The cow is young.[(triple4)] The cow needs the tiger.[(triple5)] The cow visits the tiger.[(triple6)] The tiger chases the cow.[(triple7)] The tiger does not need the cow.[(triple9)] The tiger is young.[(triple8)] The tiger visits the cow.[(triple10)]