The bear chases the cat. The cat eats the lion. The lion chases the cat. The squirrel needs the lion. If something chases the cat then the cat needs the bear. If something is round and it chases the squirrel then it is kind.
The cat eats the lion.
@0: The bear chases the cat.[(triple1)] The cat eats the lion.[(triple2)] The lion chases the cat.[(triple3)] The squirrel needs the lion.[(triple4)] @1: The cat needs the bear.[(((triple1) -> rule1) OR ((triple3) -> rule1))]