The cat is blue. The cow is nice. The mouse likes the rabbit. The rabbit is round. If the rabbit eats the cow then the cow eats the mouse. If something eats the cow and the cow eats the cat then it chases the cow. If the cat is nice then the cat is blue. If something eats the rabbit and the rabbit is green then it is green. If something chases the cat and the cat eats the cow then it eats the mouse. If the mouse eats the cow then the cow is round.
The cow is not nice.
@0: The cat is blue.[(triple1)] The cow is nice.[(triple2)] The mouse likes the rabbit.[(triple3)] The rabbit is round.[(triple4)]