The bear chases the cat. The cat is not nice. The cat visits the bear. If something eats the cat and the cat is nice then it is nice. If something visits the cat then it is young. If something is round and kind then it visits the bear. If the bear is not kind then the bear does not visit the cat. If something visits the bear then the bear eats the cat. If something eats the bear and it does not eat the cat then it chases the cat. If something eats the bear then it chases the cat. If something is round and it chases the cat then it chases the bear.
The cat does not chase the bear.
@0: The bear chases the cat.[(triple1)] The cat is not nice.[(triple2)] The cat visits the bear.[(triple3)] @1: The bear eats the cat.[(((triple3) -> rule5))]