The bald eagle chases the squirrel. The bald eagle sees the rabbit. The bald eagle sees the tiger. The rabbit sees the squirrel. The squirrel is young. The squirrel sees the tiger. The tiger sees the rabbit. If something sees the tiger then the tiger chases the squirrel.
The tiger is not nice.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle sees the tiger.[(triple3)] The rabbit sees the squirrel.[(triple4)] The squirrel is young.[(triple5)] The squirrel sees the tiger.[(triple6)] The tiger sees the rabbit.[(triple7)] @1: The tiger chases the squirrel.[(((triple3) -> rule1) OR ((triple6) -> rule1))]