The cat sees the cow. The cow is green. If something is nice then it sees the cow. If something sees the cow and the cow eats the cat then the cat is big.
The cat is not big.
@0: The cat sees the cow.[(triple1)] The cow is green.[(triple2)]