The bald eagle eats the cow. The bald eagle is cold. The bald eagle is green. The bald eagle needs the cow. The cow eats the bald eagle. The cow needs the bald eagle. The cow visits the bald eagle. If someone visits the cow and the cow needs the bald eagle then the cow is green. If someone eats the cow then the cow is green. If someone is cold and they visit the bald eagle then the bald eagle visits the cow.
The bald eagle is round.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow visits the bald eagle.[(triple7)] @1: The cow is green.[(((triple1) -> rule2))]