The bald eagle eats the cow. The bald eagle eats the squirrel. The bald eagle needs the cow. The bald eagle needs the squirrel. The bald eagle sees the cow. The cow is big. The cow is nice. The cow sees the bald eagle. The squirrel eats the bald eagle. The squirrel is big. The squirrel is cold. The squirrel needs the bald eagle. The squirrel needs the cow. The squirrel sees the bald eagle. The squirrel sees the cow. If something needs the squirrel then the squirrel eats the cow. If something is nice and it sees the cow then it eats the bald eagle.
The squirrel sees the cow.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The bald eagle sees the cow.[(triple5)] The cow is big.[(triple6)] The cow is nice.[(triple7)] The cow sees the bald eagle.[(triple8)] The squirrel eats the bald eagle.[(triple9)] The squirrel is big.[(triple10)] The squirrel is cold.[(triple11)] The squirrel needs the bald eagle.[(triple12)] The squirrel needs the cow.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the cow.[(triple15)] @1: The squirrel eats the cow.[(((triple4) -> rule1))]