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