The bald eagle eats the cow. The bald eagle is cold. The bald eagle is red. The bald eagle needs the cow. The cow is rough. The cow needs the bald eagle. The cow sees the bald eagle. If the cow sees the bald eagle then the cow eats the bald eagle. If someone eats the bald eagle then they eat the cow. If someone needs the bald eagle and the bald eagle is young then the bald eagle needs the cow.
The cow is young.
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle needs the cow.[(triple4)] The cow is rough.[(triple5)] The cow needs the bald eagle.[(triple6)] The cow sees the bald eagle.[(triple7)] @1: The cow eats the bald eagle.[(((triple7) -> rule1))] @2: The cow eats the cow.[(((((triple7) -> rule1)) -> rule2))]