The cow is red. The dog sees the cow. The rabbit sees the dog. The tiger is big. If something needs the tiger and it sees the rabbit then the tiger needs the rabbit. If something is green then it needs the rabbit. If something is rough then it eats the dog. If something needs the rabbit and the rabbit needs the dog then the rabbit is green. If something eats the dog then it is rough. If something sees the rabbit then the rabbit is rough. If something sees the cow and it sees the rabbit then it needs the rabbit. If something is red and it needs the cow then the cow is round.
The cow is red.
@0: The cow is red.[(triple1)] The dog sees the cow.[(triple2)] The rabbit sees the dog.[(triple3)] The tiger is big.[(triple4)]