The cow is red. The dog sees the cow. The mouse sees the cow. The tiger does not chase the cow. If something sees the mouse and the mouse needs the tiger then the mouse sees the cow. Rough, green things are red.
The dog is not red.
@0: The cow is red.[(triple1)] The dog sees the cow.[(triple2)] The mouse sees the cow.[(triple3)] The tiger does not chase the cow.[(triple4)]