The cow is green. The dog is round. The rabbit sees the squirrel. The squirrel visits the cow. If the rabbit eats the squirrel and the squirrel is nice then the squirrel visits the cow. If the cow eats the rabbit then the cow is red.
The cow is not red.
@0: The cow is green.[(triple1)] The dog is round.[(triple2)] The rabbit sees the squirrel.[(triple3)] The squirrel visits the cow.[(triple4)]