The bald eagle eats the squirrel. The bald eagle is rough. The bear eats the cat. The bear eats the squirrel. The cat is big. The cat needs the bald eagle. The squirrel eats the bear. The squirrel is big. The squirrel needs the cat. The squirrel sees the bear. If the cat is big then the cat sees the bald eagle. If someone sees the cat and the cat is young then the cat is big. If someone is green and they see the bear then they are rough. If the bald eagle sees the bear then the bear sees the squirrel. If someone eats the bald eagle and they are green then the bald eagle is rough. If the bald eagle eats the bear then the bald eagle is round.
The squirrel is big.
@0: The bald eagle eats the squirrel.[(triple1)] The bald eagle is rough.[(triple2)] The bear eats the cat.[(triple3)] The bear eats the squirrel.[(triple4)] The cat is big.[(triple5)] The cat needs the bald eagle.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel is big.[(triple8)] The squirrel needs the cat.[(triple9)] The squirrel sees the bear.[(triple10)] @1: The cat sees the bald eagle.[(((triple5) -> rule1))]