The bear chases the cat. The cat chases the bear. The cat is cold. The cat visits the bear. The dog chases the bear. The dog is nice. The dog visits the bear. If someone needs the bear then the bear chases the dog. If the dog visits the cat then the cat needs the dog. If someone chases the cat and the cat chases the bear then they need the cat. If someone needs the bear and they visit the bear then they are round. If someone needs the bear then they chase the cat. If the bear visits the cat then the bear chases the dog.
The cat does not visit the bear.
@0: The bear chases the cat.[(triple1)] The cat chases the bear.[(triple2)] The cat is cold.[(triple3)] The cat visits the bear.[(triple4)] The dog chases the bear.[(triple5)] The dog is nice.[(triple6)] The dog visits the bear.[(triple7)] @1: The bear needs the cat.[(((triple1 triple2) -> rule3))]