The bear eats the lion. The bear is nice. The cat eats the lion. The cat is big. The cat is cold. The cat is round. The dog is blue. The dog is round. The dog visits the bear. The lion needs the dog. If something needs the lion then the lion visits the dog.
The dog does not visit the bear.
@0: The bear eats the lion.[(triple1)] The bear is nice.[(triple2)] The cat eats the lion.[(triple3)] The cat is big.[(triple4)] The cat is cold.[(triple5)] The cat is round.[(triple6)] The dog is blue.[(triple7)] The dog is round.[(triple8)] The dog visits the bear.[(triple9)] The lion needs the dog.[(triple10)]