The cat is nice. The rabbit sees the cat. The tiger is not nice. If the tiger is not rough and the tiger does not eat the rabbit then the tiger is not red.
The cat is nice.
@0: The cat is nice.[(triple1)] The rabbit sees the cat.[(triple2)] The tiger is not nice.[(triple3)]