The bear sees the rabbit. The cow chases the lion. The lion is young. The rabbit does not chase the bear. If the bear eats the cow then the bear does not see the cow. If something chases the bear and the bear is big then it eats the rabbit. If something eats the lion then it does not chase the lion. If something sees the bear and it sees the lion then it does not chase the lion. If something is rough and it eats the bear then it chases the cow. If something is rough then it chases the cow. If something sees the rabbit then it sees the cow. If something eats the cow and it eats the rabbit then it chases the bear.
The lion does not chase the lion.
@0: The bear sees the rabbit.[(triple1)] The cow chases the lion.[(triple2)] The lion is young.[(triple3)] The rabbit does not chase the bear.[(triple4)] @1: The bear sees the cow.[(((triple1) -> rule7))]