The bald eagle chases the squirrel. The bald eagle is nice. The bald eagle sees the squirrel. The bear is nice. The bear sees the bald eagle. The cat chases the bald eagle. The cat sees the bald eagle. The squirrel is nice. The squirrel sees the bald eagle. The squirrel sees the bear. If something chases the bear then the bear sees the cat. If something visits the squirrel then the squirrel sees the bald eagle. If something chases the bald eagle and the bald eagle visits the squirrel then the squirrel visits the cat. If the squirrel is nice and the squirrel is rough then the squirrel is kind. If something sees the squirrel then it chases the bear. If something sees the cat and the cat sees the bald eagle then it visits the bear.
The bald eagle is not big.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The bear is nice.[(triple4)] The bear sees the bald eagle.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat sees the bald eagle.[(triple7)] The squirrel is nice.[(triple8)] The squirrel sees the bald eagle.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The bald eagle chases the bear.[(((triple3) -> rule5))] @2: The bear sees the cat.[(((((triple3) -> rule5)) -> rule1))] @3: The bear visits the bear.[(((((((triple3) -> rule5)) -> rule1) triple7) -> rule6))]