The bald eagle is blue. The bear is big. The bear sees the bald eagle. The bear visits the squirrel. The squirrel sees the bald eagle. The tiger likes the squirrel. The tiger sees the bald eagle. The tiger sees the squirrel. The tiger visits the bear. The tiger visits the squirrel. All blue people are young.
The bear does not see the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bear is big.[(triple2)] The bear sees the bald eagle.[(triple3)] The bear visits the squirrel.[(triple4)] The squirrel sees the bald eagle.[(triple5)] The tiger likes the squirrel.[(triple6)] The tiger sees the bald eagle.[(triple7)] The tiger sees the squirrel.[(triple8)] The tiger visits the bear.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The bald eagle is young.[(((triple1) -> rule1))]