The bald eagle sees the tiger. The cow is red. The squirrel sees the cow. The tiger is red. If something visits the cow and the cow sees the tiger then the tiger chases the squirrel. If something sees the bald eagle then it is rough. If something sees the cow then the cow is young. If something sees the squirrel then the squirrel chases the cow. If something sees the tiger then the tiger chases the cow. If something is rough then it chases the cow.
The squirrel does not see the cow.
@0: The bald eagle sees the tiger.[(triple1)] The cow is red.[(triple2)] The squirrel sees the cow.[(triple3)] The tiger is red.[(triple4)] @1: The cow is young.[(((triple3) -> rule3))] The tiger chases the cow.[(((triple1) -> rule5))]