The bald eagle is young. The bald eagle sees the squirrel. The cat eats the squirrel. The cat is big. The cat is nice. The cow chases the squirrel. The cow eats the squirrel. The cow is cold. The cow is green. The cow is young. The cow sees the bald eagle. The squirrel eats the bald eagle. The squirrel is big. The squirrel is cold. The squirrel is nice. The squirrel sees the cat. If someone is green then they chase the cow. If the cat eats the bald eagle then the bald eagle sees the cat. If the squirrel eats the bald eagle and the squirrel eats the cat then the cat sees the squirrel.
The cow is not green.
@0: The bald eagle is young.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The cat eats the squirrel.[(triple3)] The cat is big.[(triple4)] The cat is nice.[(triple5)] The cow chases the squirrel.[(triple6)] The cow eats the squirrel.[(triple7)] The cow is cold.[(triple8)] The cow is green.[(triple9)] The cow is young.[(triple10)] The cow sees the bald eagle.[(triple11)] The squirrel eats the bald eagle.[(triple12)] The squirrel is big.[(triple13)] The squirrel is cold.[(triple14)] The squirrel is nice.[(triple15)] The squirrel sees the cat.[(triple16)] @1: The cow chases the cow.[(((triple9) -> rule1))]