The cat is big. The cat is green. The lion sees the cat. If something visits the cat and it is rough then the cat is round. If something visits the cat then it is big. If the lion is rough then the lion chases the cat. If something sees the lion then the lion is rough. If something sees the lion then the lion sees the cat. If something visits the cat then the cat chases the lion.
The cat is not big.
@0: The cat is big.[(triple1)] The cat is green.[(triple2)] The lion sees the cat.[(triple3)]