The bald eagle eats the cow. The bald eagle is big. The bald eagle needs the cow. The bald eagle sees the cow. The bald eagle sees the squirrel. The cow eats the bald eagle. The cow does not eat the squirrel. The cow is blue. The cow needs the bald eagle. The squirrel sees the cow. If someone sees the squirrel then they are cold.
The bald eagle is cold.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle needs the cow.[(triple3)] The bald eagle sees the cow.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The cow does not eat the squirrel.[(triple7)] The cow eats the bald eagle.[(triple6)] The cow is blue.[(triple8)] The cow needs the bald eagle.[(triple9)] The squirrel sees the cow.[(triple10)] @1: The bald eagle is cold.[(((triple5) -> rule1))]