The bear is nice. The cow is nice. The tiger chases the bear. If something is round then it chases the cow. If something is round and it chases the bear then the bear chases the cow. If something chases the cow then the cow chases the bear. If something is big and it eats the cow then it eats the bear. If something is nice and it eats the cow then the cow eats the tiger. If something chases the bear then the bear eats the tiger.
The tiger is big.
@0: The bear is nice.[(triple1)] The cow is nice.[(triple2)] The tiger chases the bear.[(triple3)] @1: The bear eats the tiger.[(((triple3) -> rule6))]