The cat does not chase the lion. The cat is green. The cat visits the lion. The lion is big. The lion is blue. The lion is nice. The lion visits the cat. If the lion does not chase the cat then the cat chases the lion.
The cat is not nice.
@0: The cat does not chase the lion.[(triple1)] The cat is green.[(triple2)] The cat visits the lion.[(triple3)] The lion is big.[(triple4)] The lion is blue.[(triple5)] The lion is nice.[(triple6)] The lion visits the cat.[(triple7)]