The bald eagle eats the cow. The bald eagle is kind. The bald eagle is not young. The bald eagle does not like the cow. The bald eagle visits the cow. The cow eats the bald eagle. The cow is big. The cow is not cold. The cow is nice. The cow is young. The cow likes the bald eagle. The cow visits the bald eagle. If someone visits the bald eagle and they are not nice then the bald eagle does not visit the cow. If someone visits the bald eagle and they do not like the bald eagle then the bald eagle visits the cow. If the cow is not young and the cow does not eat the bald eagle then the cow visits the bald eagle. If someone visits the cow then the cow visits the bald eagle. If someone eats the bald eagle and the bald eagle is young then they are cold. If someone likes the cow then they do not visit the bald eagle. If someone is cold and not young then they visit the bald eagle. If someone eats the bald eagle and they are kind then they eat the cow.
The bald eagle does not visit the bald eagle.
@0: The bald eagle does not like the cow.[(triple4)] The bald eagle eats the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is not young.[(triple3)] The bald eagle visits the cow.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow is big.[(triple7)] The cow is nice.[(triple9)] The cow is not cold.[(triple8)] The cow is young.[(triple10)] The cow likes the bald eagle.[(triple11)] The cow visits the bald eagle.[(triple12 OR ((triple5) -> rule4))]