The bald eagle does not chase the cow. The bald eagle does not eat the cow. The bald eagle is cold. The bald eagle is kind. The bald eagle is nice. The bald eagle is not red. The bald eagle is young. The bald eagle visits the cow. The cow does not eat the bald eagle. The cow is cold. The cow is red. The cow visits the bald eagle. If something eats the cow then the cow visits the bald eagle. If something visits the bald eagle then it chases the cow. If something chases the cow then the cow is not nice.
The bald eagle does not visit the bald eagle.
@0: The bald eagle does not chase the cow.[(triple1)] The bald eagle does not eat the cow.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is nice.[(triple5)] The bald eagle is not red.[(triple6)] The bald eagle is young.[(triple7)] The bald eagle visits the cow.[(triple8)] The cow does not eat the bald eagle.[(triple9)] The cow is cold.[(triple10)] The cow is red.[(triple11)] The cow visits the bald eagle.[(triple12)] @1: The cow chases the cow.[(((triple12) -> rule2))] @2: The cow is not nice.[(((((triple12) -> rule2)) -> rule3))]