The bald eagle is blue. The bear chases the tiger. The bear is big. The bear is not young. The bear sees the bald eagle. The squirrel chases the bald eagle. The tiger chases the bear. The tiger is kind. The tiger sees the bear. The tiger sees the squirrel. If someone chases the squirrel then they eat the tiger. If someone is kind then they chase the squirrel. If someone eats the tiger then they do not chase the tiger.
The bear does not chase the tiger.
@0: The bald eagle is blue.[(triple1)] The bear chases the tiger.[(triple2)] The bear is big.[(triple3)] The bear is not young.[(triple4)] The bear sees the bald eagle.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The tiger chases the bear.[(triple7)] The tiger is kind.[(triple8)] The tiger sees the bear.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The tiger chases the squirrel.[(((triple8) -> rule2))] @2: The tiger eats the tiger.[(((((triple8) -> rule2)) -> rule1))] @3: The tiger does not chase the tiger.[(((((((triple8) -> rule2)) -> rule1)) -> rule3))]