The bald eagle chases the tiger. The bald eagle is cold. The bald eagle needs the tiger. The bald eagle visits the tiger. The cow is cold. The cow needs the bald eagle. The tiger chases the bald eagle. The tiger chases the cow. The tiger needs the cow. The tiger visits the bald eagle. If the cow visits the tiger then the cow is rough. If something visits the bald eagle then the bald eagle visits the cow. If something chases the bald eagle then the bald eagle chases the cow. If something visits the tiger then the tiger visits the bald eagle. If the bald eagle chases the tiger and the tiger needs the bald eagle then the tiger is cold. If the bald eagle visits the cow then the cow chases the bald eagle.
The tiger needs the cow.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bald eagle visits the tiger.[(triple4)] The cow is cold.[(triple5)] The cow needs the bald eagle.[(triple6)] The tiger chases the bald eagle.[(triple7)] The tiger chases the cow.[(triple8)] The tiger needs the cow.[(triple9)] The tiger visits the bald eagle.[(triple10 OR ((triple4) -> rule4))] @1: The bald eagle chases the cow.[(((triple7) -> rule3) OR ((((((triple10) -> rule2)) -> rule6)) -> rule3) OR ((((((((triple4) -> rule4)) -> rule2)) -> rule6)) -> rule3))] The bald eagle visits the cow.[(((triple10) -> rule2) OR ((((triple4) -> rule4)) -> rule2))] @2: The cow chases the bald eagle.[(((((triple10) -> rule2)) -> rule6) OR ((((((triple4) -> rule4)) -> rule2)) -> rule6))]