The bald eagle chases the cow. The bald eagle is cold. The bald eagle is kind. The bald eagle is red. The bald eagle is rough. The bald eagle is young. The bald eagle needs the cow. The bald eagle visits the cow. The cow chases the bald eagle. The cow is cold. The cow is kind. The cow is rough. The cow is young. The cow needs the bald eagle. The cow visits the bald eagle. If something visits the cow then it needs the cow. If something visits the bald eagle and it needs the bald eagle then it visits the cow. If something is cold and it needs the bald eagle then it chases the cow.
The cow needs the cow.
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is young.[(triple6)] The bald eagle needs the cow.[(triple7 OR ((triple8) -> rule1))] The bald eagle visits the cow.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow is cold.[(triple10)] The cow is kind.[(triple11)] The cow is rough.[(triple12)] The cow is young.[(triple13)] The cow needs the bald eagle.[(triple14)] The cow visits the bald eagle.[(triple15)] @1: The cow chases the cow.[(((triple10 triple14) -> rule3))] The cow visits the cow.[(((triple15 triple14) -> rule2))] @2: The cow needs the cow.[(((((triple15 triple14) -> rule2)) -> rule1))]