The cat is not nice. The cat visits the tiger. The tiger chases the cat. The tiger does not eat the cat. The tiger is big. The tiger is red. The tiger visits the cat. If the cat does not eat the tiger then the tiger eats the cat.
The tiger is not big.
@0: The cat is not nice.[(triple1)] The cat visits the tiger.[(triple2)] The tiger chases the cat.[(triple3)] The tiger does not eat the cat.[(triple4)] The tiger is big.[(triple5)] The tiger is red.[(triple6)] The tiger visits the cat.[(triple7)]