The bald eagle eats the bear. The bald eagle eats the squirrel. The bald eagle is red. The bear is round. The bear likes the squirrel. The bear sees the dog. The dog eats the squirrel. The dog likes the bald eagle. The dog likes the bear. The squirrel sees the bear. If someone eats the squirrel and they eat the bald eagle then they see the bear. If someone likes the squirrel and the squirrel is young then the squirrel is kind. If someone likes the bear then they are blue.
The bear sees the squirrel.
@0: The bald eagle eats the bear.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is red.[(triple3)] The bear is round.[(triple4)] The bear likes the squirrel.[(triple5)] The bear sees the dog.[(triple6)] The dog eats the squirrel.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog likes the bear.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The dog is blue.[(((triple9) -> rule3))]